; This is file /spunky.b/faculty/davise/ai-96/grad/prologb.lsp on the SUNs
; This file contains a very inefficient Prolog
; interpreter, where backtracking is controlled by a recursive control
; structure.
(defvar *TRACING* nil) ; Set to t to trace Prolog execution.
; The clause (