Handbook
Glossary
logic-pred
Vocabulary
logic
.
private
Definition
IN:
logic.private
TUPLE:
logic-pred
name defs
;