---

6.2.2 Macros

Macro: assert-wff (formula) ¶

Package

logicky-lisp.

Source

logic.lisp.

Macro: mapcar-cons-flat (car val list) ¶

Package

logicky-lisp.

Source

logic.lisp.

Macro: reduce-atoms (formula resultf reducef) ¶

Package

logicky-lisp.

Source

logic.lisp.