API tools faq
paste
logicmoo

Logicmoo's Pastebin

13,407 226,921 0 12 years ago
Name / Title Added Expires Hits Comments Syntax  
make a list of Xs Dec 3rd, 2015 Never 274 0 Prolog -
?- kif_to_boxlog( all(x,((musiclover(x) & enjoy(x,'Bach')) Dec 1st, 2015 Never 293 0 Prolog -
Untitled Nov 23rd, 2015 Never 278 0 Prolog -
uses member_/2 (the invers aregs) Nov 23rd, 2015 Never 310 0 Prolog -
mpred_pfc Nov 19th, 2015 Never 352 0 Prolog -
pfc as module Nov 18th, 2015 Never 309 0 Prolog -
PFC - module Nov 17th, 2015 Never 318 0 Prolog -
sanity_tests Nov 16th, 2015 Never 294 0 Prolog -
%% no_repeats_var(+Var) is det. % % Attribute a varaible to Nov 15th, 2015 Never 333 0 Prolog -
use_listing_vars Nov 15th, 2015 Never 322 0 Prolog -
Untitled Nov 7th, 2015 Never 288 0 Prolog -
use_listing_vars/0 Nov 6th, 2015 Never 296 0 Prolog -
Treated like Axioms if enabled Nov 6th, 2015 Never 277 0 Prolog -
BayesTheorem Nov 6th, 2015 Never 293 0 Prolog -
MUD TTL Nov 2nd, 2015 Never 261 0 Prolog -
Unbounded ephemeral term example Nov 2nd, 2015 Never 285 0 Prolog -
% /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/ Oct 25th, 2015 Never 352 0 Prolog -
Untitled Oct 24th, 2015 Never 315 0 Prolog -
<oats_> I brought ((P( y) ⊃ Q(z)) ⊃ (P(x) ⊃ Q(x))) to (~P(y) Oct 24th, 2015 Never 320 0 Prolog -
TOO MUCH SKOLEM? Oct 19th, 2015 Never 271 0 Prolog -
Maplist helpers Oct 18th, 2015 Never 269 0 Prolog -
Untitled Oct 7th, 2015 Never 321 0 None -
"Decidablity" Logic Sep 23rd, 2015 Never 300 0 Prolog -
Untitled Sep 22nd, 2015 Never 325 0 Prolog -
?- help(term_expansion/2). Sep 18th, 2015 Never 271 0 Prolog -
Untitled Sep 6th, 2015 Never 299 0 Prolog -
LastRun Sep 6th, 2015 Never 295 0 HTML -
QLF Timings on 6million records Sep 4th, 2015 Never 355 0 Lisp -
Interpreted System based regressions Sep 2nd, 2015 Never 276 0 Prolog -
Coq installs older OCaml Aug 28th, 2015 Never 278 0 Prolog -
nb_setarg/3 to use destructive assignest Aug 23rd, 2015 Never 279 0 None -
Easzars nb_setarg/3 Aug 23rd, 2015 Never 278 0 None -
Byrd's box never left the ground Aug 23rd, 2015 Never 295 0 None -
Byrd - Saveit Aug 23rd, 2015 Never 320 0 Prolog -
SKOLEMS Aug 16th, 2015 Never 378 0 Prolog -
Untitled Aug 16th, 2015 Never 402 0 Prolog -
BOXLOG SANITY Aug 9th, 2015 Never 370 0 Visual Pro Log -
Untitled Aug 6th, 2015 Never 492 0 ZXBasic -
Untitled Aug 3rd, 2015 Never 455 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 407 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 373 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 424 0 ZXBasic -
Untitled Aug 1st, 2015 Never 419 0 ZXBasic -
BOXLOG Jul 31st, 2015 Never 535 0 Prolog -
QLF Timings on 6million records Jul 25th, 2015 Never 385 0 ZXBasic -
Untitled Jul 24th, 2015 Never 416 0 ZXBasic -
Untitled Jul 20th, 2015 Never 410 0 ZXBasic -
Untitled Jul 20th, 2015 Never 434 0 ZXBasic -
Untitled Jul 3rd, 2015 Never 360 0 ZXBasic -
Untitled Jun 18th, 2015 Never 471 0 ZXBasic -
Untitled Jun 18th, 2015 Never 506 0 ZXBasic -
Untitled Jun 17th, 2015 Never 420 0 ZXBasic -
Untitled Jun 17th, 2015 Never 445 0 ZXBasic -
Untitled Jun 13th, 2015 Never 428 0 ZXBasic -
Untitled Jun 10th, 2015 Never 450 0 Prolog -
Untitled Jun 10th, 2015 Never 493 0 ZXBasic -
Untitled Jun 3rd, 2015 Never 444 0 ZXBasic -
Untitled Jun 3rd, 2015 Never 438 0 ZXBasic -
Untitled May 30th, 2015 Never 408 0 ZXBasic -
Untitled May 28th, 2015 Never 425 0 ZXBasic -
Untitled May 28th, 2015 Never 454 0 ZXBasic -
Untitled May 28th, 2015 Never 468 0 ZXBasic -
AbstractOutputSream May 14th, 2015 Never 435 0 Prolog -
Untitled May 4th, 2015 Never 435 0 ZXBasic -
Untitled Apr 7th, 2015 Never 469 0 ZXBasic -
lsp_prolog.c Apr 3rd, 2015 Never 578 0 C -
Untitled Mar 25th, 2015 Never 395 0 None -
CommonLisp written in SubLisp Feb 14th, 2015 Never 475 0 Lisp -
Untitled Feb 7th, 2015 Never 456 0 ZXBasic -
Untitled Feb 6th, 2015 Never 494 0 ZXBasic -
Untitled Feb 4th, 2015 Never 366 0 Prolog -
Untitled Feb 4th, 2015 Never 374 0 Prolog -
PTTP EXamples Jan 28th, 2015 Never 393 0 PHP -
Untitled Jan 17th, 2015 Never 434 0 ZXBasic -
Untitled Jan 17th, 2015 Never 421 0 ZXBasic -
Untitled Dec 26th, 2014 Never 409 0 ZXBasic -
Untitled Dec 25th, 2014 Never 395 0 Prolog -
Untitled Dec 11th, 2014 Never 397 0 Prolog -
Untitled Oct 16th, 2014 Never 444 0 ZXBasic -
Untitled Sep 19th, 2014 Never 468 0 ZXBasic -
Untitled Sep 19th, 2014 Never 434 0 ZXBasic -
Untitled Sep 19th, 2014 Never 510 0 ZXBasic -
Untitled Sep 19th, 2014 Never 473 0 ZXBasic -
Untitled Sep 19th, 2014 Never 637 0 ZXBasic -
Untitled Sep 12th, 2014 Never 436 0 Prolog -
Untitled Sep 2nd, 2014 Never 514 0 Lisp -
Untitled Sep 2nd, 2014 Never 359 0 Lisp -
Untitled Aug 28th, 2014 Never 481 0 ZXBasic -
TWO PROLOG DATABASES Aug 27th, 2014 Never 380 0 PHP -
Untitled Aug 23rd, 2014 Never 463 0 ZXBasic -
Untitled May 27th, 2014 Never 403 0 Prolog -
Untitled May 27th, 2014 Never 399 0 Prolog -
Untitled Apr 23rd, 2014 Never 328 0 ZXBasic -
Untitled Apr 1st, 2014 Never 285 0 ZXBasic -
Untitled Mar 29th, 2014 Never 331 0 ZXBasic -
Untitled Feb 23rd, 2014 Never 281 0 Java -
Inform6.jjt Feb 23rd, 2014 Never 283 0 Java -
finishedLoading.ttl Dec 17th, 2013 Never 326 0 ZXBasic -
V4.lsp Dec 17th, 2013 Never 331 0 Scheme -
FrienduChanges Dec 13th, 2013 Never 269 0 Diff -
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!