seif@sics.se (Seif Haridi) (04/22/88)
Announcing SICStus Prolog version 0.6 ===================================== SICStus Prolog is a portable (BSD Unix (tm), marginally sysV Unix (tm)) C implementation of Prolog, written at SICS (Swedish Institute of Computer Science). The implementation is based on the Warren Abstract Machine (WAM). The programming environment bas benefitted from public domain code contributed principally by R.A. O'Keefe and D.H.D. Warren. SICStus Prolog is functionally comparable to Quintus Prolog (tm) 2.2 as far as syntax and built-in predicates are concerned. Version 0.6 does not have indexed interpreted code, modules, or an Emacs interface, but does provide interpreted and compiled predicates mixed arbitrarily, 32-bit integer and double precision floating point arithmetic, unification of cyclic structures, a garbage collector and a stack shifter, attention key (control-c) handling, a "procedure box" debugger, dynamic interfacing to C functions, backtrackable operations, and wait declarations for data-driven execution. SICStus Prolog is being actively maintained. Bug reports and suggested improvements are most welcome and will contribute to the quality of future versions. Send bug reports to sicstus_bug@sics.se Send requests for ordering information to sicstus_request@sics.se Summary of features added since 0.5: - a manual exists (hardcopy and on-line), - save/[1,2], save_program/1, and restore/1 exist and enable entire execution states to be saved, - compiles and consults can be recursive and are more consistent. Both support the declarations :- dynamic Name/Arity. :- multifile Name/Arity. :- wait Name/Arity. - redefinition warnings appear when predicates are defined in one file and redefined in another, - "~" and "~USER" are supported in pathnames, - the debugger is extended (printlevels and navigation), - statistics messages are more consistent, - the restriction on term size in certain predicates has been lifted, - interpreted code runs significantly faster, - a few new predicates exist, - numerous bugs have been fixed. ========================================================================
vassili@ibmpcug.co.uk (Vassilis Konstantinou) (01/20/90)
Does anybody know the address of the UK or European Distributor
for SICSTUS PROLOG?
We are interested in evaluating SICSTUS PROLOG, but we find it
difficult to find a copy in UK. Therefore, any info or addresses
will be greatly appreciated.
We currently use Quintus both on Suns and a Unisys SYSTEM V-386 box,
and we would like to know how SICSTUS compares to it (similarities,
problems, advantages).
V.Konstantinou
Head of AI Research Group
The Polytechnic of Central London
115 New Cavendish Street, London W1M 8JS, England.
Email: konstant@uk.ac.pcl.badger (JANET)
konstan@uk.ac.pcl.mole (JANET)
vassili@ibmpcug.CO.UK
vassilis@cix.cix.UUCP
--
Automatic Disclaimer:
The views expressed above are those of the author alone and may not
represent the views of the IBM PC User Group.
-- keh@ukc.ac.uk (K.El-Hadad) (04/04/91)
Hello, I am a PhD student on the last year of my research. My project was implemented on a Unix using SICStus prolog. I am an oversease student from Egypt. I would like to have a copy from SICStus prolog with me when I returns to Egypt by the summer because I like it. But I have two problems. These are: (1) there is no fund to buy this prolog, I need you help to have it and (2) the machine available in my institute is VAX machine, then I will ask for a VAX version. Any help or Guide to know what I can do to have this Prolog. I am now a PhD student at the computing lab., The University of Kent, Kent, Canterbury, CT2 7NF. I have only three month to return home and I hope to have it before that time. Thank you. Kamel A. El-Hadad The Computing Lab The University of Kent Kent Canterbury CT2 7NF email keh@ukc.ac.uk