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