Interpreter and library.
Minor cleanup.
SWIProlog
and, or (Boolean ops). "not not" serves as a kind of type-checking identity function. "not" will error out on non-Boolean values, or the absence of a second...
Fork