API tools faq
paste
logicmoo

Logicmoo's Pastebin

17,022 272,407 0 12 years ago
Name / Title Added Expires Hits Comments Syntax  
use_listing_vars Nov 15th, 2015 Never 329 0 Prolog -
Untitled Nov 7th, 2015 Never 293 0 Prolog -
use_listing_vars/0 Nov 6th, 2015 Never 299 0 Prolog -
Treated like Axioms if enabled Nov 6th, 2015 Never 280 0 Prolog -
BayesTheorem Nov 6th, 2015 Never 300 0 Prolog -
MUD TTL Nov 2nd, 2015 Never 263 0 Prolog -
Unbounded ephemeral term example Nov 2nd, 2015 Never 291 0 Prolog -
% /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/ Oct 25th, 2015 Never 355 0 Prolog -
Untitled Oct 24th, 2015 Never 319 0 Prolog -
<oats_> I brought ((P( y) ⊃ Q(z)) ⊃ (P(x) ⊃ Q(x))) to (~P(y) Oct 24th, 2015 Never 323 0 Prolog -
TOO MUCH SKOLEM? Oct 19th, 2015 Never 278 0 Prolog -
Maplist helpers Oct 18th, 2015 Never 273 0 Prolog -
Untitled Oct 7th, 2015 Never 325 0 None -
"Decidablity" Logic Sep 23rd, 2015 Never 306 0 Prolog -
Untitled Sep 22nd, 2015 Never 332 0 Prolog -
?- help(term_expansion/2). Sep 18th, 2015 Never 277 0 Prolog -
Untitled Sep 6th, 2015 Never 301 0 Prolog -
LastRun Sep 6th, 2015 Never 306 0 HTML -
QLF Timings on 6million records Sep 4th, 2015 Never 358 0 Lisp -
Interpreted System based regressions Sep 2nd, 2015 Never 281 0 Prolog -
Coq installs older OCaml Aug 28th, 2015 Never 285 0 Prolog -
nb_setarg/3 to use destructive assignest Aug 23rd, 2015 Never 283 0 None -
Easzars nb_setarg/3 Aug 23rd, 2015 Never 282 0 None -
Byrd's box never left the ground Aug 23rd, 2015 Never 297 0 None -
Byrd - Saveit Aug 23rd, 2015 Never 324 0 Prolog -
SKOLEMS Aug 16th, 2015 Never 384 0 Prolog -
Untitled Aug 16th, 2015 Never 406 0 Prolog -
BOXLOG SANITY Aug 9th, 2015 Never 374 0 Visual Pro Log -
Untitled Aug 6th, 2015 Never 499 0 ZXBasic -
Untitled Aug 3rd, 2015 Never 462 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 413 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 377 0 ZXBasic -
Untitled Aug 2nd, 2015 Never 428 0 ZXBasic -
Untitled Aug 1st, 2015 Never 424 0 ZXBasic -
BOXLOG Jul 31st, 2015 Never 544 0 Prolog -
QLF Timings on 6million records Jul 25th, 2015 Never 389 0 ZXBasic -
Untitled Jul 24th, 2015 Never 421 0 ZXBasic -
Untitled Jul 20th, 2015 Never 413 0 ZXBasic -
Untitled Jul 20th, 2015 Never 436 0 ZXBasic -
Untitled Jul 3rd, 2015 Never 365 0 ZXBasic -
Untitled Jun 18th, 2015 Never 474 0 ZXBasic -
Untitled Jun 18th, 2015 Never 509 0 ZXBasic -
Untitled Jun 17th, 2015 Never 428 0 ZXBasic -
Untitled Jun 17th, 2015 Never 447 0 ZXBasic -
Untitled Jun 13th, 2015 Never 433 0 ZXBasic -
Untitled Jun 10th, 2015 Never 452 0 Prolog -
Untitled Jun 10th, 2015 Never 499 0 ZXBasic -
Untitled Jun 3rd, 2015 Never 451 0 ZXBasic -
Untitled Jun 3rd, 2015 Never 441 0 ZXBasic -
Untitled May 30th, 2015 Never 415 0 ZXBasic -
Untitled May 28th, 2015 Never 428 0 ZXBasic -
Untitled May 28th, 2015 Never 458 0 ZXBasic -
Untitled May 28th, 2015 Never 470 0 ZXBasic -
AbstractOutputSream May 14th, 2015 Never 441 0 Prolog -
Untitled May 4th, 2015 Never 439 0 ZXBasic -
Untitled Apr 7th, 2015 Never 472 0 ZXBasic -
lsp_prolog.c Apr 3rd, 2015 Never 583 0 C -
Untitled Mar 25th, 2015 Never 398 0 None -
CommonLisp written in SubLisp Feb 14th, 2015 Never 479 0 Lisp -
Untitled Feb 7th, 2015 Never 458 0 ZXBasic -
Untitled Feb 6th, 2015 Never 497 0 ZXBasic -
Untitled Feb 4th, 2015 Never 372 0 Prolog -
Untitled Feb 4th, 2015 Never 377 0 Prolog -
PTTP EXamples Jan 28th, 2015 Never 396 0 PHP -
Untitled Jan 17th, 2015 Never 438 0 ZXBasic -
Untitled Jan 17th, 2015 Never 425 0 ZXBasic -
Untitled Dec 26th, 2014 Never 412 0 ZXBasic -
Untitled Dec 25th, 2014 Never 397 0 Prolog -
Untitled Dec 11th, 2014 Never 399 0 Prolog -
Untitled Oct 16th, 2014 Never 452 0 ZXBasic -
Untitled Sep 19th, 2014 Never 471 0 ZXBasic -
Untitled Sep 19th, 2014 Never 438 0 ZXBasic -
Untitled Sep 19th, 2014 Never 514 0 ZXBasic -
Untitled Sep 19th, 2014 Never 477 0 ZXBasic -
Untitled Sep 19th, 2014 Never 639 0 ZXBasic -
Untitled Sep 12th, 2014 Never 439 0 Prolog -
Untitled Sep 2nd, 2014 Never 522 0 Lisp -
Untitled Sep 2nd, 2014 Never 368 0 Lisp -
Untitled Aug 28th, 2014 Never 483 0 ZXBasic -
TWO PROLOG DATABASES Aug 27th, 2014 Never 383 0 PHP -
Untitled Aug 23rd, 2014 Never 471 0 ZXBasic -
Untitled May 27th, 2014 Never 408 0 Prolog -
Untitled May 27th, 2014 Never 403 0 Prolog -
Untitled Apr 23rd, 2014 Never 332 0 ZXBasic -
Untitled Apr 1st, 2014 Never 289 0 ZXBasic -
Untitled Mar 29th, 2014 Never 334 0 ZXBasic -
Untitled Feb 23rd, 2014 Never 285 0 Java -
Inform6.jjt Feb 23rd, 2014 Never 287 0 Java -
finishedLoading.ttl Dec 17th, 2013 Never 330 0 ZXBasic -
V4.lsp Dec 17th, 2013 Never 334 0 Scheme -
FrienduChanges Dec 13th, 2013 Never 272 0 Diff -
Untitled Dec 12th, 2013 Never 400 0 ZXBasic -
Untitled Dec 12th, 2013 Never 342 0 ZXBasic -
Untitled Dec 11th, 2013 Never 267 0 Diff -
e2cycl Dec 9th, 2013 Never 351 0 PHP -
revertion.patch Oct 27th, 2013 Never 328 0 ZXBasic -
Untitled Oct 27th, 2013 Never 385 0 ZXBasic -
Untitled Oct 23rd, 2013 Never 322 0 ZXBasic -
Untitled Oct 22nd, 2013 Never 364 0 ZXBasic -
O.F.B Pt. 1 Oct 16th, 2013 Never 394 0 ZXBasic -
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!