cl-gambol

API Reference

gambol

A buggy, incomplete implementation of Prolog.

GAMBOL

  • Variable *TRACING*
    nil
    if t, tracing is turned on
  • Variable *LIPS*
    0
    logical inferences per second
  • Variable *ERROR-MISSING-RULE*
    nil
    if t, signal error on missing rule
  • Function MAKE-RULEBASE
  • Function CURRENT-RULEBASE
  • Macro WITH-RULEBASE (rulebase &body body)
  • Function PARSE-RULES (rules)
  • Macro LOP (&rest body)
  • Macro LISP (&rest body)
  • Function PL-ASSERT (rule)
    add a rule to the end of the database for this functor
  • Function PL-ASSERTA (rule)
    add a rule to the beginning of the database for this functor
  • Function PL-SOLVE-ONE (goals)
  • Function PL-SOLVE-ALL (goals)
  • Macro BAGOF (pattern goals)
  • Macro SETOF (pattern goals)
  • Function PL-RETRACT (goals)
  • Macro *- (&rest rules)
  • Macro ?- (&rest goals)
  • Macro ??- (&rest goals)
  • Function CLEAR-RULES (&optional (functors nil))
  • Function PRINT-RULES (&optional (functors nil))
  • Function PRINT-RULE (functor)