Logicmoo's Pastebin

15,257 246,119 0 12 years ago

Name / Title	Added	Expires	Hits	Syntax
<oats_> I brought ((P( y) ⊃ Q(z)) ⊃ (P(x) ⊃ Q(x))) to (~P(y)	Oct 24th, 2015	Never	322	Prolog	-
TOO MUCH SKOLEM?	Oct 19th, 2015	Never	275	Prolog	-
Maplist helpers	Oct 18th, 2015	Never	271	Prolog	-
Untitled	Oct 7th, 2015	Never	323	None	-
"Decidablity" Logic	Sep 23rd, 2015	Never	302	Prolog	-
Untitled	Sep 22nd, 2015	Never	328	Prolog	-
?- help(term_expansion/2).	Sep 18th, 2015	Never	274	Prolog	-
Untitled	Sep 6th, 2015	Never	301	Prolog	-
LastRun	Sep 6th, 2015	Never	302	HTML	-
QLF Timings on 6million records	Sep 4th, 2015	Never	357	Lisp	-
Interpreted System based regressions	Sep 2nd, 2015	Never	279	Prolog	-
Coq installs older OCaml	Aug 28th, 2015	Never	282	Prolog	-
nb_setarg/3 to use destructive assignest	Aug 23rd, 2015	Never	282	None	-
Easzars nb_setarg/3	Aug 23rd, 2015	Never	280	None	-
Byrd's box never left the ground	Aug 23rd, 2015	Never	296	None	-
Byrd - Saveit	Aug 23rd, 2015	Never	323	Prolog	-
SKOLEMS	Aug 16th, 2015	Never	381	Prolog	-
Untitled	Aug 16th, 2015	Never	405	Prolog	-
BOXLOG SANITY	Aug 9th, 2015	Never	373	Visual Pro Log	-
Untitled	Aug 6th, 2015	Never	496	ZXBasic	-
Untitled	Aug 3rd, 2015	Never	462	ZXBasic	-
Untitled	Aug 2nd, 2015	Never	410	ZXBasic	-
Untitled	Aug 2nd, 2015	Never	376	ZXBasic	-
Untitled	Aug 2nd, 2015	Never	427	ZXBasic	-
Untitled	Aug 1st, 2015	Never	423	ZXBasic	-
BOXLOG	Jul 31st, 2015	Never	540	Prolog	-
QLF Timings on 6million records	Jul 25th, 2015	Never	387	ZXBasic	-
Untitled	Jul 24th, 2015	Never	419	ZXBasic	-
Untitled	Jul 20th, 2015	Never	412	ZXBasic	-
Untitled	Jul 20th, 2015	Never	435	ZXBasic	-
Untitled	Jul 3rd, 2015	Never	363	ZXBasic	-
Untitled	Jun 18th, 2015	Never	472	ZXBasic	-
Untitled	Jun 18th, 2015	Never	508	ZXBasic	-
Untitled	Jun 17th, 2015	Never	423	ZXBasic	-
Untitled	Jun 17th, 2015	Never	446	ZXBasic	-
Untitled	Jun 13th, 2015	Never	430	ZXBasic	-
Untitled	Jun 10th, 2015	Never	452	Prolog	-
Untitled	Jun 10th, 2015	Never	496	ZXBasic	-
Untitled	Jun 3rd, 2015	Never	446	ZXBasic	-
Untitled	Jun 3rd, 2015	Never	439	ZXBasic	-
Untitled	May 30th, 2015	Never	410	ZXBasic	-
Untitled	May 28th, 2015	Never	426	ZXBasic	-
Untitled	May 28th, 2015	Never	457	ZXBasic	-
Untitled	May 28th, 2015	Never	469	ZXBasic	-
AbstractOutputSream	May 14th, 2015	Never	440	Prolog	-
Untitled	May 4th, 2015	Never	437	ZXBasic	-
Untitled	Apr 7th, 2015	Never	470	ZXBasic	-
lsp_prolog.c	Apr 3rd, 2015	Never	581	C	-
Untitled	Mar 25th, 2015	Never	397	None	-
CommonLisp written in SubLisp	Feb 14th, 2015	Never	478	Lisp	-
Untitled	Feb 7th, 2015	Never	457	ZXBasic	-
Untitled	Feb 6th, 2015	Never	495	ZXBasic	-
Untitled	Feb 4th, 2015	Never	368	Prolog	-
Untitled	Feb 4th, 2015	Never	376	Prolog	-
PTTP EXamples	Jan 28th, 2015	Never	395	PHP	-
Untitled	Jan 17th, 2015	Never	437	ZXBasic	-
Untitled	Jan 17th, 2015	Never	422	ZXBasic	-
Untitled	Dec 26th, 2014	Never	411	ZXBasic	-
Untitled	Dec 25th, 2014	Never	396	Prolog	-
Untitled	Dec 11th, 2014	Never	398	Prolog	-
Untitled	Oct 16th, 2014	Never	447	ZXBasic	-
Untitled	Sep 19th, 2014	Never	471	ZXBasic	-
Untitled	Sep 19th, 2014	Never	437	ZXBasic	-
Untitled	Sep 19th, 2014	Never	513	ZXBasic	-
Untitled	Sep 19th, 2014	Never	476	ZXBasic	-
Untitled	Sep 19th, 2014	Never	638	ZXBasic	-
Untitled	Sep 12th, 2014	Never	437	Prolog	-
Untitled	Sep 2nd, 2014	Never	520	Lisp	-
Untitled	Sep 2nd, 2014	Never	365	Lisp	-
Untitled	Aug 28th, 2014	Never	482	ZXBasic	-
TWO PROLOG DATABASES	Aug 27th, 2014	Never	382	PHP	-
Untitled	Aug 23rd, 2014	Never	468	ZXBasic	-
Untitled	May 27th, 2014	Never	406	Prolog	-
Untitled	May 27th, 2014	Never	401	Prolog	-
Untitled	Apr 23rd, 2014	Never	329	ZXBasic	-
Untitled	Apr 1st, 2014	Never	286	ZXBasic	-
Untitled	Mar 29th, 2014	Never	333	ZXBasic	-
Untitled	Feb 23rd, 2014	Never	283	Java	-
Inform6.jjt	Feb 23rd, 2014	Never	284	Java	-
finishedLoading.ttl	Dec 17th, 2013	Never	328	ZXBasic	-
V4.lsp	Dec 17th, 2013	Never	332	Scheme	-
FrienduChanges	Dec 13th, 2013	Never	270	Diff	-
Untitled	Dec 12th, 2013	Never	397	ZXBasic	-
Untitled	Dec 12th, 2013	Never	341	ZXBasic	-
Untitled	Dec 11th, 2013	Never	266	Diff	-
e2cycl	Dec 9th, 2013	Never	349	PHP	-
revertion.patch	Oct 27th, 2013	Never	325	ZXBasic	-
Untitled	Oct 27th, 2013	Never	384	ZXBasic	-
Untitled	Oct 23rd, 2013	Never	321	ZXBasic	-
Untitled	Oct 22nd, 2013	Never	361	ZXBasic	-
O.F.B Pt. 1	Oct 16th, 2013	Never	393	ZXBasic	-
o.f bmvn isntall success	Oct 16th, 2013	Never	334	ZXBasic	-
Untitled	Oct 16th, 2013	Never	337	ZXBasic	-
Untitled	Oct 16th, 2013	Never	362	ZXBasic	-
Untitled	Oct 16th, 2013	Never	329	ZXBasic	-
Untitled	Oct 14th, 2013	Never	359	ZXBasic	-
Bundle cant find itself?	Oct 9th, 2013	Never	452	ZXBasic	-

Most Recent 17 18 19 20 21 22