NextPrevUpTopContentsIndex

A.8.1 Example

(defrelmacro append3 (x y z w)
  (let ((iv (make-internal-var)))
  `(and (append ,x ,y ,iv)
        (append ,iv ,z ,w))))
==> (append3 (1) (2) (3) ?y) ?Y = (1 2 3)
KnowledgeWorks and Prolog User Guide (Macintosh version) - 4 Apr 2005

NextPrevUpTopContentsIndex