Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: f512f9b30f
Fetching contributors…

Cannot retrieve contributors at this time

24 lines (16 sloc) 0.299 kB
Original!
Q(x,y) :- R(x,y).
?-Q(x,y).
/
==> SELECT * FROM Test; /* FIXME in the Eval.sql_stt function */
New examples:
Q(id,descr) :- Test(id,descr).
?-Q(id,descr).
/
Q(id,descr) :- Test(id,descr).
R(id,descr) :- Q(id,descr).
?-R(id,descr).
/
Q(id,descr) :- Test(id,descr).
?-Q(descr, id).
/
Jump to Line
Something went wrong with that request. Please try again.