nga@root.co.uk (Nick Armitage) (09/14/88)
I am looking for suppliers of PROLOG under System V UNIX*, UniPlus+, AU/X or 4.2 BSD. I have heard of Arity, SB and C PROLOG, but do not have any contact details for their suppliers. If you know of a PROLOG supplier and can provide me with a name, address and phone number I would appreciate it. My thanks in advance Nick UNIX is a trademark of AT&T in the USA and other countries. UniPlus+ is a trademark of UniSoft Corporation. A/UX is a trademark of Apple Computer Inc. - Nick Armitage, UniSoft Group, 3 Hayne Street, London, EC1A 9HH, England. phone: +44 1 606 7799 fax: +44 1 726 2750 telex: 885995 UNISFT G My opinions do not necessarily represent those of any Unisoft Group company.
kline@arizona.edu (Nick Kline) (09/17/88)
In article <636@root44.co.uk> nga@root.co.uk (Nick Armitage) writes: >I am looking for suppliers of PROLOG under System V UNIX*, UniPlus+, AU/X or >4.2 BSD. I have heard of Arity, SB and C PROLOG, but do not have any contact > >Nick > >Nick Armitage, UniSoft Group, 3 Hayne Street, London, EC1A 9HH, England. >phone: +44 1 606 7799 fax: +44 1 726 2750 telex: 885995 UNISFT G >My opinions do not necessarily represent those of any Unisoft Group company. Hey Nick, what a great name you have. Anyway, my very own University of Arizona is the home of SB prolog. To get further info, send email to Saumya Debray, author of SB_Prolog. His email name is debray@arizona.edu . His phone is 602 621-4527. Address University of Arizona, Dept. of Computer Science Gould Simpson Room 735 Tucson, Arizona Nick Kline SB prolog runs under unix. Hope this helps.
debray@arizona.edu (Saumya K. Debray) (09/17/88)
In article <7083@megaron.arizona.edu>, kline@arizona.edu (Nick Kline) writes: > Anyway, my very own University of Arizona is the home of SB prolog. > > To get further info, send email to Saumya Debray, author of SB_Prolog. ^^^^^^ Just to clarify: the development of SB-Prolog began at SUNY Stony Brook, where a number of people worked on it between 1984 and 1986. The project was led by David Scott Warren, and substantial chunks of code were written by, among others, D.S.W., Jiyang Xu, Weidong Chen, and Suzanne Dietrich. Since August 1986, development has continued at the University of Arizona, where the system is currently distributed from. While I _have_ played a role in the development of SB-Prolog, I have no desire to take credit (or, for that matter, blame) for any code that I didn't write. While I'm at it, I might as well mention that Version 2.5 of SB-Prolog is now available for anonymous FTP from arizona.edu. This incorporates a number of changes that make it more compatible with systems like Quintus and Sicstus Prologs, and also incorporates some builtins, such as listing/[0,1], clause/[2,3], recorda/recordz/recorded/erase, current_atom/ current_functor/current_predicate, etc., that were not present in earlier versions. -- Saumya Debray CS Department, University of Arizona, Tucson internet: debray@arizona.edu uucp: arizona!debray