Declarative Semantics for Pruning Operators in Logic Programming

You are here

TitleDeclarative Semantics for Pruning Operators in Logic Programming
Publication TypeConference Paper
Year of Publication1990
AuthorsGiannotti, F, Pedreschi, D
Conference NameLPNMR
Taxonomy upgrade extras: