Lars Degerstedt

• Tabulation-based logic programming