| Name / Title | Added | Expires | Hits | Comments | Syntax | |
|---|---|---|---|---|---|---|
| Some tests | Aug 21st, 2017 | Never | 283 | 0 | Prolog | - |
| fol_calc_01.pfc | Aug 17th, 2017 | Never | 452 | 0 | Prolog | - |
| skolems example | Aug 12th, 2017 | Never | 258 | 0 | Prolog | - |
| Canonicalizer | Aug 9th, 2017 | Never | 284 | 0 | Prolog | - |
| QuantifyOnSets | Aug 9th, 2017 | Never | 255 | 0 | Prolog | - |
| ThinkAction | Aug 7th, 2017 | Never | 319 | 0 | Prolog | - |
| forall(X,exists(M,person(X)=>mother(X,M))) | Aug 7th, 2017 | Never | 256 | 0 | Prolog | - |
| I refer the "expressiveness", I mean the ability thru syntac | Aug 6th, 2017 | Never | 255 | 0 | Prolog | - |
| TC or not? | Aug 2nd, 2017 | Never | 273 | 0 | Prolog | - |
| % \+ if_startup_script(sanity:reexport(kif_sanity_tests)). % | Aug 2nd, 2017 | Never | 273 | 0 | Prolog | - |
| KB-modeling | Jul 30th, 2017 | Never | 289 | 0 | Prolog | - |
| Testcase: equal_papers_v1 <-> equal_papers_v2 are the same? | Jul 29th, 2017 | Never | 243 | 0 | Prolog | - |
| Sample Install of PrologMUD | Apr 29th, 2017 | Never | 782 | 0 | Prolog | - |
| Skolems counts | Apr 23rd, 2017 | Never | 1,255 | 0 | Prolog | - |
| Part Of Riddle | Apr 22nd, 2017 | Never | 305 | 0 | Prolog | - |
| Diginet's code | Apr 20th, 2017 | Never | 291 | 0 | Prolog | - |
| Works In Yap | Apr 16th, 2017 | Never | 303 | 0 | Prolog | - |
| Prolog Clauses From FOL | Apr 11th, 2017 | Never | 275 | 0 | Prolog | - |
| First Time Down | Apr 1st, 2017 | Never | 665 | 0 | Prolog | - |
| Program for the symbolic simplification of algebra | Mar 20th, 2017 | Never | 539 | 0 | Prolog | - |
| mpred_type_constraints | Mar 20th, 2017 | Never | 292 | 0 | Prolog | - |
| Hard To convert to RDF | Dec 6th, 2016 | Never | 369 | 0 | Lisp | - |
| duplicates a term that lasts after failure | Nov 23rd, 2016 | Never | 261 | 0 | Prolog | - |
| (ql:quickload '(qtcore qtgui)) | Nov 13th, 2016 | Never | 269 | 0 | Prolog | - |
| Regressions | Oct 14th, 2016 | Never | 261 | 0 | Prolog | - |
| --modified ? | Aug 4th, 2016 | Never | 287 | 0 | Prolog | - |
| Logicmoo Example session | Aug 3rd, 2016 | Never | 266 | 0 | Prolog | - |
| Letter to Roger Schank | May 27th, 2016 | Never | 279 | 0 | None | - |
| Cant get any of the y?2s written?! | Apr 4th, 2016 | Never | 265 | 0 | Prolog | - |
| Detacted head after init | Mar 24th, 2016 | Never | 270 | 0 | Prolog | - |
| Do i have to "git add?" | Mar 24th, 2016 | Never | 263 | 0 | Prolog | - |
| Chocolate in PB | Mar 18th, 2016 | Never | 257 | 0 | Prolog | - |
| Visual Studio crashing | Mar 16th, 2016 | Never | 348 | 0 | None | - |
| Not used to seeing these warnings | Mar 13th, 2016 | Never | 270 | 0 | Prolog | - |
| Untitled | Mar 10th, 2016 | Never | 267 | 0 | Objective C | - |
| Ubuntu Linux 14.0.4 - YAP Buling issue | Feb 24th, 2016 | Never | 287 | 0 | Prolog | - |
| unifyp attvar | Feb 23rd, 2016 | Never | 258 | 0 | Prolog | - |
| On master https://github.com/vscosta/yap-6.3 | Feb 22nd, 2016 | Never | 223 | 0 | Make | - |
| FLUX PLAYER - SWI-Prolog | Feb 8th, 2016 | Never | 384 | 0 | Prolog | - |
| FLUXPLAYER ON SWI | Feb 8th, 2016 | Never | 253 | 0 | Prolog | - |
| Catch as an exception handler binder | Jan 18th, 2016 | Never | 259 | 0 | Prolog | - |
| Making Nals.pl | Jan 17th, 2016 | Never | 275 | 0 | Prolog | - |
| do_unify() | Dec 15th, 2015 | Never | 271 | 0 | Prolog | - |
| Is now isolated and unshared predicate | Dec 6th, 2015 | Never | 298 | 0 | Prolog | - |
| make a list of Xs | Dec 3rd, 2015 | Never | 278 | 0 | Prolog | - |
| ?- kif_to_boxlog( all(x,((musiclover(x) & enjoy(x,'Bach')) | Dec 1st, 2015 | Never | 298 | 0 | Prolog | - |
| uses member_/2 (the invers aregs) | Nov 23rd, 2015 | Never | 319 | 0 | Prolog | - |
| pfc as module | Nov 18th, 2015 | Never | 313 | 0 | Prolog | - |
| PFC - module | Nov 17th, 2015 | Never | 324 | 0 | Prolog | - |
| sanity_tests | Nov 16th, 2015 | Never | 304 | 0 | Prolog | - |
| %% no_repeats_var(+Var) is det. % % Attribute a varaible to | Nov 15th, 2015 | Never | 339 | 0 | Prolog | - |
