Commit c815ad60 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

It looks like I am a truffle

parent a0d003b5
......@@ -154,7 +154,10 @@ categorize_query(Q1 /\ Q2, ECTL, UCTL, ACTL) :-
categorize_query(not(Q), ECTL, UCTL, ACTL) :-
!,
categorize_query(Q, ACTL, UCTL, ECTL).
categorize_query(Q, NACTL, NUCTL, NECTL),
maplist(negate_query, NACTL, ACTL),
maplist(negate_query, NUCTL, UCTL),
maplist(negate_query, NECTL, ECTL).
categorize_query(Query, [], [Query], []) :-
object(Query),
......@@ -180,6 +183,9 @@ categorize_query(Q, ECTL, UCTL, ACTL) :-
).
negate_query(Y, not(Y)).
is_actl(not(Q)) :-
!,
is_ectl(Q).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment