| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| e2c - % she announced a program to promote safety in trucks | May 23rd, 2018 | Never | 283 | 0 | Prolog | - |
| WAM-CL Pack installs | Apr 24th, 2018 | Never | 432 | 0 | Prolog | - |
| adduser pfc_tester | Mar 5th, 2018 | Never | 246 | 0 | Prolog | - |
| FIB examples | Feb 16th, 2018 | Never | 223 | 0 | Markdown | - |
| Basic Elaboration Tolerant logic | Jan 20th, 2018 | Never | 252 | 0 | Prolog | - |
| my use of not_in/2 in might be confusing unless you knew tha | Jan 18th, 2018 | Never | 242 | 0 | Prolog | - |
| meta_preds undeclared | Jan 13th, 2018 | Never | 476 | 0 | Bash | - |
| Conjunctivitis | Dec 6th, 2017 | Never | 250 | 0 | None | - |
| OMG - it starts | Nov 13th, 2017 | Never | 576 | 0 | Prolog | - |
| TAGBODY COMPILATION | Nov 12th, 2017 | Never | 439 | 0 | Prolog | - |
| PFC tests output | Nov 7th, 2017 | Never | 258 | 0 | Prolog | - |
| PFC INSTALL | Nov 7th, 2017 | Never | 657 | 0 | Prolog | - |
| cls ; swipl block_tagbody.pl | Oct 31st, 2017 | Never | 621 | 0 | Prolog | - |
| WAM-CL, 3x slower SBCL, 17x faster than CLISP, potentually | Oct 21st, 2017 | Never | 274 | 0 | Prolog | - |
| LBASE/IKL/MELD/Common Logic Fun | Oct 5th, 2017 | Never | 444 | 0 | Lisp | - |
| Some tests | Aug 21st, 2017 | Never | 263 | 0 | Prolog | - |
| fol_calc_01.pfc | Aug 17th, 2017 | Never | 427 | 0 | Prolog | - |
| skolems example | Aug 12th, 2017 | Never | 239 | 0 | Prolog | - |
| Canonicalizer | Aug 9th, 2017 | Never | 265 | 0 | Prolog | - |
| QuantifyOnSets | Aug 9th, 2017 | Never | 232 | 0 | Prolog | - |
| ThinkAction | Aug 7th, 2017 | Never | 295 | 0 | Prolog | - |
| forall(X,exists(M,person(X)=>mother(X,M))) | Aug 7th, 2017 | Never | 234 | 0 | Prolog | - |
| I refer the "expressiveness", I mean the ability thru syntac | Aug 6th, 2017 | Never | 237 | 0 | Prolog | - |
| TC or not? | Aug 2nd, 2017 | Never | 247 | 0 | Prolog | - |
| % \+ if_startup_script(sanity:reexport(kif_sanity_tests)). % | Aug 2nd, 2017 | Never | 253 | 0 | Prolog | - |
| KB-modeling | Jul 30th, 2017 | Never | 266 | 0 | Prolog | - |
| Testcase: equal_papers_v1 <-> equal_papers_v2 are the same? | Jul 29th, 2017 | Never | 223 | 0 | Prolog | - |
| Sample Install of PrologMUD | Apr 29th, 2017 | Never | 760 | 0 | Prolog | - |
| Skolems counts | Apr 23rd, 2017 | Never | 1,237 | 0 | Prolog | - |
| Part Of Riddle | Apr 22nd, 2017 | Never | 283 | 0 | Prolog | - |
| Diginet's code | Apr 20th, 2017 | Never | 268 | 0 | Prolog | - |
| Works In Yap | Apr 16th, 2017 | Never | 275 | 0 | Prolog | - |
| Prolog Clauses From FOL | Apr 11th, 2017 | Never | 257 | 0 | Prolog | - |
