XSB: Extending Prolog with Tabled Logic Programming

Terrance Swift, David Scott Warren. XSB: Extending Prolog with Tabled Logic Programming. TPLP, 12(1-2):157-187, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.