Closed lordpretzel closed 6 years ago
The number of arguments should be set based on the query answer predicate, e.g.,
Q(X) :- R(X,Y).
is translated into
_(X,Y) <- _Q(X,Y). _Q(X) <- R(X,Y).
instead of
_(X) <- _Q(X). _Q(X) <- R(X,Y).
The number of arguments should be set based on the query answer predicate, e.g.,
is translated into
instead of