An External Module for Implementing Linear Tabling in Prolog (Q5449622)
From MaRDI portal
scientific article; zbMATH DE number 5248053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An External Module for Implementing Linear Tabling in Prolog |
scientific article; zbMATH DE number 5248053 |
Statements
An External Module for Implementing Linear Tabling in Prolog (English)
0 references
11 March 2008
0 references
