Input/Output Dependencies of Normal Logic Programs (Q4304493)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Input/Output Dependencies of Normal Logic Programs |
scientific article; zbMATH DE number 637442
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Input/Output Dependencies of Normal Logic Programs |
scientific article; zbMATH DE number 637442 |
Statements
Input/Output Dependencies of Normal Logic Programs (English)
0 references
10 October 1994
0 references
negation as failure
0 references
completion of programs
0 references
Prolog programs
0 references
specification
0 references
SLDNF-resolution
0 references
interpreter
0 references
