6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Terrance Swift, David S. Warren
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are…