Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions
C. Aquilano, R. Barbuti, P. Bocchetti, M. MartelliVolume:
2
Year:
1986
Language:
english
Pages:
16
DOI:
10.1007/bf02432149
File:
PDF, 928 KB
english, 1986