/* % % PFC is a language extension for prolog.. there is so much that can be done in this language extension to Prolog % % Dec 13, 2035 % Douglas Miles */ :- module(sanity_neg,[]). :- use_module(library(logicmoo_user)). :- begin_pfc. :- process_this_script. :- dynamic(fooBar/0). ~fooBar. :- mpred_test(~fooBar). fooBar. \+ fooBar. :- mpred_test(\+fooBar). fooBar. :- mpred_test(fooBar). %:- rtrace. ~fooBar. :- mpred_test(\+fooBar). %:- nortrace. :- mpred_nospy.