On goal-directed provability in classical logic

DOI10.1016/S0096-0551(97)00013-1zbMath0899.68025OpenAlexW2089702401MaRDI QIDQ4395687

James Harland

Publication date: 1997

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-0551(97)00013-1

zbMATH Keywords

logic programming languagesgoal-directed provability

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Forum: A multiple-conclusion specification logic

This page was built for publication: On goal-directed provability in classical logic