TABLOG is a new logic programming language developed here at Stanford.

You can try the experimental (slow) interpreter for the language by
typing  R TABLOG to the SAIL monitor.
The system will respond by printing:
Tablog>

Now you may want to use one of: NEW, HELP.

If you find yourself in MACLISP try <CTRL>G and then TABLOG.

Documentation is in TABLOG.DOC[1,YM]

(questions and comments => YM)

-------------------------------------------------------
Background reference:

Yonathan Malachi, Zohar Manna and Richard Waldinger --
  ``TABLOG -- The Deductive Tableau Programming Language''
  ACM conference on Lisp and Functional Programming, Austin, TX, Aug 84.

Also avaialble as:
 Stanford CS technical report STAN-CS-1012.