University of California at Berkeley
           Department of Electrical Engineering & Computer Sciences
                          Instructional Support Group


/share/b/pub/prolog.help

                                                                 Nov 5, 2004

CONTENTS:

	GNU Prolog on Instructional Solaris Systems
	Yap Prolog on Instructional Macintosh Systems
	SWI-Prolog on Instructional Solaris systems
	BinProlog

GNU Prolog on Instructional Solaris Systems
-------------------------------------------
  GNU Prolog v 1.2.16 from http://gprolog.inria.fr has been installed on the
  EECS Instructional Solaris X86 systems.  
  
  Please see http://inst.eecs.berkeley.edu/clients for the names of X86 login 
  servers (such as po.eecs.berkeley.edu), and the location of X86 workstations
  (currently 277 Soda).  To start gprolog, type:
  
	/share/b/bin/gprolog

  The programs are installed in /share/instsww/gprolog/bin.  They include:

  gprolog	= top-level interactive interpreter
  gplc prog.pl  = compiles Prolog file 'prog.pl' into executable called 'prog'
  gplc --help 	= brief overview of available options

  For more help, see

  /share/instsww/gprolog/README
  /share/instsww/gprolog/INSTALL
  http://inst.eecs.berkeley.edu/~inst/pub/	[password-protected docs]


Yap Prolog on Instructional Macintosh Systems
---------------------------------------------
  yap ("Yet another prolog") from http://sourceforge.net/projects/yap/ has 
  been installed on the EECS Instructional Macintosh systems.  
  
  Please see http://inst.eecs.berkeley.edu/clients for the location of our 
  Macs (currently 199 Cory and 349 Soda).  To start yap, type:
  
	/sw/bin/yap


SWI-Prolog on Instructional Solaris systems
-------------------------------------------
  SWI-Prolog is a portable Prolog package for Unix from the department of 
  Social Science Informatics at the University of Amsterdam.  It is installed 
  on the Instructional Solaris x86 systems, but it will be deleted in Nov 2004.

  Please see http://inst.eecs.berkeley.edu/clients for the names of X86 login 
  servers (such as po.eecs.berkeley.edu), and the location of X86 workstations
  (currently 277 Soda).  To start SWI-Prolog, type:
  
    % /share/b/prolog/bin/pl

  If you use Prolog frequently, you can add /share/b/prolog/bin to your
  PATH by using the commands

    % set path = ( $path /share/b/prolog/bin )
    % rehash

  If you want to make this change permanent, add the "set path" command
  to the end of your ".cshrc" file in your home directory.

  The Unix man page for SWI-Prolog is available by typing

    % env MANPATH=/share/b/prolog/man man pl

  in which the curious can find a summary of interesting command-line
  options. If you plan to consult this man page frequently, you can add
  it to your MANPATH by using

    % setenv MANPATH "${MANPATH}:/share/b/prolog/man"

  at the command line, or in your ".cshrc" file in your home directory.

  More information about SWI-Prolog is available in the online manual,
  which is available on the Instructional UNIX systems in 

    /share/b/prolog/lib/pl-3.1.2/library/MANUAL

  or via the World-Wide Web at 

    http://www.swi.psy.uva.nl/usr/jan/SWI-Prolog/Manual/Title.html


BinProlog
---------
  Although it is not installed, a 1995 reference to BinProlog can be 
  found in

    http://inst.eecs.berkeley.edu/share/b/pub/html/binpro.html


					EECS Instructional Support Group
					378/384/386 Cory, 333 Soda
					inst@EECS.Berkeley.EDU