Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- op(1200, xfx, =>). (A => B) :- assumez(A), B, retirez(A). assumez(A) :- (assertz(A); retract(A), fail). retirez(A) :- (retract(A); assertz(A), fail). /* s(CAPS) Style */ /* https://en.wikipedia.org/wiki/Yale_shooting_problem */ :- dynamic loaded/0. :- dynamic '-loaded'/0. dead :- loaded. /* just shoot */ dead :- '-loaded'. /* load it and then shoot */ /** <examples> ?- (loaded => dead), ('-loaded' => dead). true; false. */