PR: 39474 Submitted by: maintainer
A tabled Logic Programming and Deductive Database system PR: 29322 Submitted by: Christopher Rued <c.rued@xsb.com>