API tools faq
paste
logicmoo

Logicmoo's Pastebin

15,269 246,132 0 12 years ago
Name / Title Added Expires Hits Comments Syntax  
QuantifyOnSets Aug 9th, 2017 Never 254 0 Prolog -
Untitled Aug 9th, 2017 Never 245 0 Prolog -
ThinkAction Aug 7th, 2017 Never 317 0 Prolog -
forall(X,exists(M,person(X)=>mother(X,M))) Aug 7th, 2017 Never 255 0 Prolog -
I refer the "expressiveness", I mean the ability thru syntac Aug 6th, 2017 Never 255 0 Prolog -
Untitled Aug 4th, 2017 Never 210 0 None -
Untitled Aug 4th, 2017 Never 258 0 None -
Untitled Aug 3rd, 2017 Never 271 0 Prolog -
Untitled Aug 3rd, 2017 Never 274 0 Prolog -
TC or not? Aug 2nd, 2017 Never 267 0 Prolog -
% \+ if_startup_script(sanity:reexport(kif_sanity_tests)). % Aug 2nd, 2017 Never 272 0 Prolog -
KB-modeling Jul 30th, 2017 Never 287 0 Prolog -
Testcase: equal_papers_v1 <-> equal_papers_v2 are the same? Jul 29th, 2017 Never 241 0 Prolog -
Untitled Jun 12th, 2017 Never 265 0 Prolog -
Untitled May 28th, 2017 Never 262 0 Prolog -
Untitled May 16th, 2017 Never 251 0 Prolog -
Untitled May 16th, 2017 Never 242 0 Prolog -
Untitled May 16th, 2017 Never 247 0 Prolog -
Untitled May 6th, 2017 Never 298 0 Prolog -
Untitled May 6th, 2017 Never 742 0 Prolog -
Sample Install of PrologMUD Apr 29th, 2017 Never 781 0 Prolog -
Untitled Apr 28th, 2017 Never 287 0 Prolog -
Untitled Apr 27th, 2017 Never 262 0 Prolog -
Skolems counts Apr 23rd, 2017 Never 1,254 0 Prolog -
Untitled Apr 22nd, 2017 Never 279 0 Prolog -
Part Of Riddle Apr 22nd, 2017 Never 302 0 Prolog -
Diginet's code Apr 20th, 2017 Never 287 0 Prolog -
Works In Yap Apr 16th, 2017 Never 299 0 Prolog -
Untitled Apr 16th, 2017 Never 247 0 Prolog -
Prolog Clauses From FOL Apr 11th, 2017 Never 275 0 Prolog -
First Time Down Apr 1st, 2017 Never 664 0 Prolog -
PrologMUD Mar 31st, 2017 Never 344 0 Prolog -
Untitled Mar 27th, 2017 Never 267 0 Prolog -
Untitled Mar 24th, 2017 Never 302 0 Prolog -
Program for the symbolic simplification of algebra Mar 20th, 2017 Never 534 0 Prolog -
mpred_type_constraints Mar 20th, 2017 Never 292 0 Prolog -
Untitled Jan 5th, 2017 Never 253 0 Prolog -
Untitled Jan 4th, 2017 Never 357 0 Prolog -
Hard To convert to RDF Dec 6th, 2016 Never 368 0 Lisp -
duplicates a term that lasts after failure Nov 23rd, 2016 Never 260 0 Prolog -
Untitled Nov 18th, 2016 Never 367 0 Prolog -
(ql:quickload '(qtcore qtgui)) Nov 13th, 2016 Never 268 0 Prolog -
Untitled Nov 2nd, 2016 Never 347 0 Prolog -
Untitled Oct 20th, 2016 Never 282 0 Prolog -
Regressions Oct 14th, 2016 Never 260 0 Prolog -
Untitled Oct 5th, 2016 Never 281 0 Prolog -
Clisp Oct 5th, 2016 Never 512 0 Prolog -
Untitled Sep 12th, 2016 Never 413 0 Prolog -
Untitled Sep 12th, 2016 Never 256 0 Prolog -
Untitled Sep 8th, 2016 Never 265 0 Prolog -
--modified ? Aug 4th, 2016 Never 286 0 Prolog -
Logicmoo Example session Aug 3rd, 2016 Never 264 0 Prolog -
Untitled Jul 23rd, 2016 Never 257 0 Lisp -
Untitled Jul 23rd, 2016 Never 240 0 Lisp -
Untitled Jul 23rd, 2016 Never 255 0 Prolog -
Untitled Jun 13th, 2016 Never 268 0 Prolog -
Letter to Roger Schank May 27th, 2016 Never 277 0 None -
Untitled May 5th, 2016 Never 248 0 Prolog -
Untitled Apr 15th, 2016 Never 285 0 Prolog -
Cant get any of the y?2s written?! Apr 4th, 2016 Never 261 0 Prolog -
Detacted head after init Mar 24th, 2016 Never 269 0 Prolog -
00000 ? Mar 24th, 2016 Never 278 0 Prolog -
Do i have to "git add?" Mar 24th, 2016 Never 261 0 Prolog -
Chocolate in PB Mar 18th, 2016 Never 256 0 Prolog -
Visual Studio crashing Mar 16th, 2016 Never 347 0 None -
Not used to seeing these warnings Mar 13th, 2016 Never 269 0 Prolog -
Unfreeze Mar 12th, 2016 Never 200 0 Prolog -
Untitled Mar 10th, 2016 Never 266 0 Objective C -
it owrked Mar 4th, 2016 Never 261 0 Prolog -
smb error Mar 4th, 2016 Never 242 0 None -
Ubuntu Linux 14.0.4 - YAP Buling issue Feb 24th, 2016 Never 285 0 Prolog -
unifyp attvar Feb 23rd, 2016 Never 256 0 Prolog -
On master https://github.com/vscosta/yap-6.3 Feb 22nd, 2016 Never 221 0 Make -
rlwrap Feb 10th, 2016 Never 250 0 Prolog -
FLUX PLAYER - SWI-Prolog Feb 8th, 2016 Never 382 0 Prolog -
FLUXPLAYER ON SWI Feb 8th, 2016 Never 251 0 Prolog -
Catch as an exception handler binder Jan 18th, 2016 Never 258 0 Prolog -
Making Nals.pl Jan 17th, 2016 Never 274 0 Prolog -
do_unify() Dec 15th, 2015 Never 269 0 Prolog -
termsink Dec 7th, 2015 Never 289 0 Prolog -
Is now isolated and unshared predicate Dec 6th, 2015 Never 297 0 Prolog -
is_packed Dec 3rd, 2015 Never 264 0 Prolog -
make a list of Xs Dec 3rd, 2015 Never 277 0 Prolog -
?- kif_to_boxlog( all(x,((musiclover(x) & enjoy(x,'Bach')) Dec 1st, 2015 Never 296 0 Prolog -
Untitled Nov 23rd, 2015 Never 281 0 Prolog -
uses member_/2 (the invers aregs) Nov 23rd, 2015 Never 314 0 Prolog -
mpred_pfc Nov 19th, 2015 Never 354 0 Prolog -
pfc as module Nov 18th, 2015 Never 312 0 Prolog -
PFC - module Nov 17th, 2015 Never 321 0 Prolog -
sanity_tests Nov 16th, 2015 Never 300 0 Prolog -
%% no_repeats_var(+Var) is det. % % Attribute a varaible to Nov 15th, 2015 Never 335 0 Prolog -
use_listing_vars Nov 15th, 2015 Never 327 0 Prolog -
Untitled Nov 7th, 2015 Never 290 0 Prolog -
use_listing_vars/0 Nov 6th, 2015 Never 298 0 Prolog -
Treated like Axioms if enabled Nov 6th, 2015 Never 279 0 Prolog -
BayesTheorem Nov 6th, 2015 Never 297 0 Prolog -
MUD TTL Nov 2nd, 2015 Never 263 0 Prolog -
Unbounded ephemeral term example Nov 2nd, 2015 Never 288 0 Prolog -
% /home/dmiles/lib/swipl/pack/logicmoo_base/prolog/logicmoo/ Oct 25th, 2015 Never 355 0 Prolog -
Untitled Oct 24th, 2015 Never 317 0 Prolog -
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!