/
% =============================================
% File 'mpred_builtin.pfc'
% Purpose: Agent Reactivity for SWI-Prolog
% Maintainer: Douglas Miles
% Contact: $Author: dmiles $@users.sourceforge.net ;
% Version: 'interface' 1.0.0
% Revision: $Revision: 1.9 $
% Revised At: $Date: 1001/06/17 14:13:10 $
% =============================================
%
% PFC is aZa language extension for prolog.. there is so much that can be done in this language extension to Prolog
%
%
% props(Obj,[height(ObjHt)]) == t(height,Obj,ObjHt) == rdf(Obj,height,ObjHt) == t(height(Obj,ObjHt)).
% padd(Obj,[height(ObjHt)]) == prop_set(height,Obj,ObjHt,...) == ain(height(Obj,ObjHt))
% pdel/pclr == del/clr == [del/clr]svo(Obj,height,ObjHt) == del/clr
% keraseall(AnyTerm).
%
% ANTECEEDANT CONSEQUENT
%
% P = test nesc true assert(P),retract(~P) , enable(P).
% ~ P = test nesc false assert(~P),retract(P), disable(P)
%
% ~ ~(P) = test possible (via not impossible) retract( ~(P)), enable(P).
% + ~(P) = test impossiblity is unknown retract( ~(P))
% ~ +(P) = same as P same as P
% +(P) = test naf(P) retract(P)
%
% Dec 13, 1035
% Douglas Miles
/
/
% =============================================
% File 'mpred_builtin.pfc'
% Purpose: Agent Reactivity for SWI-Prolog
% Maintainer: Douglas Miles
% Contact: $Author: dmiles $@users.sourceforge.net ;
% Version: 'interface' 1.0.0
% Revision: $Revision: 1.9 $
% Revised At: $Date: 1001/06/17 14:13:10 $
% =============================================
%
% PFC is aZa language extension for prolog.. there is so much that can be done in this language extension to Prolog
%
%
% props(Obj,[height(ObjHt)]) == t(height,Obj,ObjHt) == rdf(Obj,height,ObjHt) == t(height(Obj,ObjHt)).
% padd(Obj,[height(ObjHt)]) == prop_set(height,Obj,ObjHt,...) == ain(height(Obj,ObjHt))
% pdel/pclr == del/clr == [del/clr]svo(Obj,height,ObjHt) == del/clr
% keraseall(AnyTerm).
%
% ANTECEEDANT CONSEQUENT
%
% P = test nesc true assert(P),retract(~P) , enable(P).
% ~ P = test nesc false assert(~P),retract(P), disable(P)
%
% ~ ~(P) = test possible (via not impossible) retract( ~(P)), enable(P).
% + ~(P) = test impossiblity is unknown retract( ~(P))
% ~ +(P) = same as P same as P
% +(P) = test naf(P) retract(P)
%
% Dec 13, 1035
% Douglas Miles
/
:- include(library(logicmoo_test_header)).
:- set_fileAssertMt(header_sane).
:- expects_dialect(pfc).
arity(inChairZ,1). prologSingleValued(inChairZ). prologSingleValuedInArg(inChairZ,1). singleValuedInArgAX(inChairZ, 1, 1).
:- ain( inChairZ(aZa)). :- (ain( inChairZ(bYb))). :- listing(inChairZ/1).
end_of_file. ERROR TODO
:- break. :- cls. :- retrace(ain( inChairZ(cXc))). :- listing(inChairZ/1). :- break.
:- mpred_test(+ inChairZ(aZa)). :- mpred_test(+ inChairZ(bYb)). :- mpred_test(inChairZ(cXc)).
:- (ain(+ ( inChairZ(cXc)))).
:- listing(inChairZ/1).
:- mpred_test(+ inChairZ(aZa)). :- mpred_test(inChairZ(bYb)). :- mpred_test(+ inChairZ(cXc)).
:- (ain(+ ( inChairZ(bYb)))).
:- mpred_test(inChairZ(aZa)). :- mpred_test(+ inChairZ(bYb)). :- mpred_test(+ inChairZ(cXc)).