| Did you know ... | Search Documentation: |
 | Pack logicmoo_base -- prolog/logicmoo/common_logic/common_logic_sanity.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- kif_test(+Goal) is det
- Kif test
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- test_boxlog(Arg1)
- test_boxlog(Arg1, Arg2)
- test_defunctionalize(Arg1)
- fst
- kif_recompile
- kif_compile
- kif_uncompile
- kif_show
- clif_recompile
- clif_compile
- clif_uncompile
- clif_show
- boxlog_recompile
- boxlog_compile
- boxlog_uncompile
- boxlog_show
- pfclog_recompile
- pfclog_compile
- pfclog_uncompile
- pfclog_show
- test_boxlog(Arg1)
- test_boxlog(Arg1, Arg2)
- test_pfc(Arg1)