---

6.1.1 Special variables

Special Variable: *interpretation* ¶

An alist that assings truth or falsehood to parameters.
Truth of parameter P is stored as (P . T), falsehood is stored as (P). Use (CDR (ASSOC P INTERPRETATION) to get the truth value of P.

Package

logicky-lisp.

Source

logic.lisp.