Logic Programming 06-25433 Autumn 2012

Software Here is given information about: using SICStus Prolog with Eclipse in the Scbool of Computer Science using SICStus Prolog directly in a terminal window in the Scbool of Computer Science accessing the SICStus Prolog manual the ISO standard for Prolog downloading implementations of Prolog and other languages which may help you in your studies