Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:-use_module(library(tabling)). :-table expression(_,_,-,-). expression(_, int(X)) --> [int(X)]. expression(_, id(N)) --> [id(N)]. expression(_, X+Y) --> expression(_,X), [sep(+)], expression(_,Y). condition(_, A>B) --> expression(_,A), [sep(>)], expression(_,B). condition(_, A>B) --> expression(_,A), [sep(<)], expression(_,B). /** <examples> Your example queries go here, e.g. ?- phrase(condition(_,X), [id(N), sep(>), int(0)]). */