A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

DOI10.1093/logcom/1.2.261zbMath0723.68028OpenAlexW1988347771MaRDI QIDQ3210889

Could not fetch data.

Publication date: 1990

Published in: (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/87a9d1b7241a3c1bda0b4dea81ff706d981ed77f

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.