Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
% Render parse trees using a tree, but ignore lists Relies on native SVG % support in the browser. IF THE ANSWER LOOKS EMPTY, COMMENT OR REMOVE % THE LINE BELOW. :- use_rendering(svgtree, [list(false)]). sentence(P) --> top(P). top(P) --> connected(P). top(P) --> term(P). connected(and(A,B)) --> negatory(A), "∧", negatory(B). connected(or(A,B)) --> negatory(A), "∨", negatory(B). connected(imply(A,B)) --> negatory(A), "⇒", negatory(B). connected(xnor(A,B)) --> negatory(A), "⇔", negatory(B). negatory(neg(P)) --> "¬", term(P). negatory(P) --> term(P). term(P) --> [P], { char_type(P, alpha) }. term(P) --> "(", top(P), ")". /* * ?- phrase(sentence(P), `(P⇒Q)⇔¬P`). */