mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
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
|