Negation as failure as resolution

DOI10.1023/A:1009724005666zbMath0914.68029OpenAlexW1543970339MaRDI QIDQ1277302

Suman Roy, Vijay Chandru, Ramesh Subrahmanyam

Publication date: 21 June 1999

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009724005666

zbMATH Keywords

procedural semantics

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Negation as failure as resolution