markan@faron.UUCP (Mark Nowacki) (06/29/87)
Hi, Can anyone point me in the direction of the Prolog programming language for the Macintosh? (MacProlog?) If you have it, or know where it can be found or purchased, please email me asap. Many thanks in advance! Ate logo, -- Mark Nowacki "Lovely to see you again, my friend! uucp ... linus!faron!markan Walk along with me to the next bend..." arpa markan%faron@mitre-bedford - The Moody Blues
fds@r4.uk.ac.man.cs (Fernando da Silva (PW Ph.D.)) (03/12/89)
This is a message from Vitor Costa to the newsgroup in reply to a request from Leslie Burkholder and James C O'Connor, which might interest to others: ----------------------------------------------------------------------------- I worked in Luis Damas group before coming to the UK. As Luis does not have access to the net, I'll try to answer your queries myself. I don't understand very well what the Prolog interpreter and compiler means. Luis was one of the original authors of C-Prolog, an interpreter. I've heard that some of the later versions of C-Prolog had been ported to the Mac, but I don't have any pointers on how to get it. After returning to Portugal, University of Porto, Luis started to write a Prolog compiler. I eventually joined him and the result was YAP (the careful reader might have guessed the meaning of the name by now). YAP is a commercial product and it is available for the Suns, Vaxen Macintosh's and lots of other machines. It is a compiler based on the WAM, and it follows the Edinburgh-Prolog syntax. To get more information contact L. Damas at: Professor Luis Damas Centro de Informatica da Universidade do Porto Rua das Taipas, 135 4000 Porto Portugal Tel: (2)380313 ext:19 or you can try to send e-mail to ...!mcvax!inesc!nccup!luis or l_damas%inescn.rccn.pt@PTIFM.BITNET E-mail connections to Porto are still very unreliable. Hope I have helped Vitor costa@cs.bris.ac.uk ___________________________________________________________________________ -- ----------------------------------------------------------------------------- Fernando A. da Silva, JANET: fds@uk.ac.man.cs.r4 Dept. of Comp. Sci., BITNET: fds%uk.ac.man.cs.r4@ukacrl.bitnet The University, EAN: fds%cs.man.ac.uk@ean-relay.ac.uk Manchester, UUCP: ...mcvax!ukc!man.cs.ux!fds M13 9PL, UK. ARPANET:fds%uk.ac.man.cs.ux%ukacrl.bitnet@cunyvm.cuny.edu
A.J.C.Blyth@newcastle.ac.uk (A J C Blyth) (09/26/89)
Can anybody out there help me with the following question.
What prologs are now available for the MAC's and how good are
they.
Many thanks in advance.
Andy.
--
Andrew J C Blyth.
SNAIL :- University of Newcastle Upon Tyne, UK, NE1 7RU.
JANET :- A.J.C.Blyth@uk.ac.newcastle
UUCP :- ...!ukc!newcastle.ac.uk!A.J.C.Blyth
ARPA :- A.J.C.Blyth@newcastle.ac.uk
rcstfdb@eutrc3.urc.tue.nl (Frank WGM de Bruyn) (10/07/89)
In article <AA26091.8909260842.ingram@uk.ac.newcastle> A.J.C.Blyth@newcastle.ac.uk (A J C Blyth) writes: >Can anybody out there help me with the following question. > >What prologs are now available for the MAC's and how good are >they. Since nobody has answered the query regarding Mac-based PROLOGs I went through my files. Result: more than 10 PROLOGs ranging from US$79 to beyond US$500 for the most professional products Corrections, and supplements are most welcome, please mail to prolog@urc.tue.nl ,or post to this newsgroup. I'll revise document, and repost in a couple of weeks. Also welcome: (Email)votes for most favourite product, and products disliked Again I'll summarize in a couple of weeks, provided there are sufficient respondents. Frank de Bruyn, Eindhoven University of Technology, The Netherlands --------------------------------------------------------------------- List of PROLOG implementations running on Macintosh October 1989 --------------------------------------------------------------------- ALS PROLOG Author Applied Logic Systems Inc, PO box 90, University Station, Syracuse NY 13210, USA phone +1 (315) 471 3900 current version 1.0 price US$349 RAM 1M disk HD recommended execution compiled and interpreted LIPS (??) on Plus 8K toolbox access yes other hardware IBM-PC, SUN, DEC, APOLLO --------------------------------------------------------------------- LPA macPROLOG Author Logic Programming Associates Ltd, Studio 4, The Royal Victoria Patriotic Building, Trinity Road, London SW18 3SX, England. phone +44 (1) 871 2016 current version 2.0 price UK pound 395 RAM 1M disk execution compiled and interpreted LIPS (??) on Plus toolbox access yes other hardware IBM-PC --------------------------------------------------------------------- AAIS PROLOG Author Advanced AI Systems, PO box 39-0360, Mountain View CA 94039-0360 USA phone +1 (415) 961 1121 current version 2.0 price US$298 RAM 1M disk 2x800K flop or HD execution compiled and interpreted LIPS (??) on Plus toolbox access yes other hardware --------------------------------------------------------------------- Exper PROLOG II Author Expertelligence, 5638 Hollister Ave, Goleta CA 93117, USA. phone +1 (805) 967 1797 current version price US$495 RAM 512K disk 2x800K flop or HD execution interpreted LIPS (??) on Plus toolbox access other hardware --------------------------------------------------------------------- PROLOG II, distributor Avenue Software Inc, 1173 West Charest Blvd. Ste. 19, Quebec City, Quebec G1N 2C9 Canada phone (418) 682 3088 current version 2.4 price US$495 RAM 512K disk execution LIPS (??) on Plus toolbox access other hardware The authors of this product are located in Marseilles, France. --------------------------------------------------------------------- MacPROLOG Author Programming Logic Systems, 31 Crescent drive, Milford CT 06460, USA phone +1 (203) 877 7988 current version price RAM disk execution LIPS (??) on Plus toolbox access other hardware --------------------------------------------------------------------- PROLOG/m Author Chalcedony Software, 5580 La Jolla Blvd, La Jolla CA 92037, USA phone +1 (619) 483 8513 current version price RAM disk execution interpreted LIPS (??) on Plus toolbox access other hardware --------------------------------------------------------------------- Personal PROLOG Author Optimized Systems Software, 1221B Kentwood Ave, San Jose CA 95129, USA current version 1.0 price US$74.95 RAM 512K disk 2x800K flop execution interpreted LIPS (??) on Plus toolbox access other hardware --------------------------------------------------------------------- ZYX PROLOG Author ZYX, Styrmansgatan 6, S-114 54 Stockholm, Sweden. phone +46 (8) 653205 current version price US$575 RAM disk execution compiled and interpreted LIPS (??) on Plus toolbox access yes other hardware HP --------------------------------------------------------------------- MPROLOG Author SCI-L systems, Computers and informatics labs, PO box 19, H-1251 Budapest, Hungary. phone (361) 350 180 distributor Logicware, 5915 Airport Rd,, suite 200, Toronto, Ontario L4V 1T1, Canada. phone (416) 672 0300 current version price RAM disk execution compiled and interpreted LIPS (??) on Plus toolbox access yes other hardware IBM-PC, IBM mainf, DEC, SUN, APOLLO, Tektronix, Symbolics --------------------------------------------------------------------- MacPARLOG Author Parallel Logic Programming Ltd, PO box 49, Twickenham TW2 5PH, England. current version 1.0 price RAM disk execution compiled and interpreted LIPS (??) on Plus toolbox access other hardware IBM-PC, SUN, DEC Attention: PARLOG is a parallel derivative of PROLOG, which is NOT wholly compatible with PROLOG! --END OF LIST--------------------------------------------------------
dmc@dynamo.ecn.purdue.edu (David M Chelberg) (08/10/90)
I am interested in getting a cheap (free) copy of prolog for a
macintosh computer. I am aware of C-prolog, however, I have not found
a version that was ported to the mac. Before I undertake porting this
to the mac myself (which I may never get around to anyway) I thought
I'd look for better solutions. Anybody have a binary of a prolog for
the mac that they could binhex and send me? Thanks,
-- Prof. David Chelberg (dmc@piccolo.ecn.purdue.edu)
__ _ _ _ __ _
/ ) / ' ) ) ) / ) / // /
/ / __. , __o __/ / / / / /_ _ // /___/> __ _,
/__/_(_/|_\/ <__(_/_ / ' ( o (__/ / /_</_</_/_) (__/ (_(_)_
/|
|/