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]

Abstract

Abstract is missing.