Workspace of logicmoo_workspace on Built-In Node
bottom clause | ||||
clause evaluation | ||||
engine | ||||
examples | ||||
hypotheses | ||||
messages | ||||
mode declarations | ||||
settings | ||||
terms_files | ||||
theory | ||||
top_theory | ||||
type_checker | ||||
utils | ||||
.gitignore | Mar 22, 2023, 6:03:36 PM | 7 B | ||
gilps.pl | Mar 22, 2023, 6:03:36 PM | 8.17 KiB | ||
progolemnrnot.pl | Mar 22, 2023, 6:03:36 PM | 421 B | ||
README.md | Mar 22, 2023, 6:03:36 PM | 810 B | ||