An External Module for Implementing Linear Tabling in Prolog

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/11799573_35 ◽

2006 ◽

pp. 429-430 ◽

Author(s):

Cláudio Silva ◽

Ricardo Rocha ◽

Ricardo Lopes

Download Full-text