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 the normal view instead:
scientific article; zbMATH DE number 637442
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7662197947502136
0 references
0.7621042728424072
0 references
0.7557873129844666
0 references
