Properties of a Pruning Operator

DOI10.1093/logcom/1.1.99zbMath0718.68018OpenAlexW2059665653MaRDI QIDQ5750389

Patricia M. Hill, John C. Shepherdson, John W. Lloyd

Publication date: 1990

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/1.1.99

zbMATH Keywords

logic programming languagespruning operator

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

This page was built for publication: Properties of a Pruning Operator