07ab3ccfac
A tabled Logic Programming and Deductive Database system PR: 29322 Submitted by: Christopher Rued <c.rued@xsb.com>
1 line
57 B
Text
1 line
57 B
Text
A tabled Logic Programming and Deductive Database system
|