AMZI Prolog

INSTALL: unpack AmziProlog.zip
Use wideA.exe if you have windows 98 or XP, wideW.exe if you have NT
in the bin  folder.
If you instal it on your computer, make a short cut.

GETTING STARTED:

  File/New to create a PROLOG program. 
  File/Edit to edit an existing PROLOG program.
  Listener/Consult to load a file to the database.
  Enter a command at the prompt  ?-

      ?- (a predicate with no variables) % answers true or false

      ?- (a predicate with variable(s)) 
         % returns no or the first binding
         % type ; to find the next binding

  Listener/Reconsult reloads an edited file without duplicating the
  current database.

DEBUGGING:
  Assumes a program has been consulted.
  Listener/Debug on
  Enter query in Listener window
  Press Creep in Debug window 
  When a unification succeeds, press ; in Listener window

COMMAND SUMMARY:
  assert(pred).  %adds pred to the database. Not considered a good idea.
  listing.  %lists the current database
  nl.       %output new line to screen
  read(X).  %reads the value of X from the keyboard
  write(X). %output the value of X to the screen