Negative subgoals with free variables

DOI10.1016/0743-1066(91)90029-OzbMath0764.68013MaRDI QIDQ3988798

Matthew L. Ginsberg

Publication date: 28 June 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

PROLOGfree variablesnegative subgoalsquantified default queries

Mathematics Subject Classification ID

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

Related Items (2)

Modality and interrupts ⋮ Approximate planning

This page was built for publication: Negative subgoals with free variables