The Essential Inadequacy of Deduction in Logic Programming

DOI10.1093/jigpal/3.1.107zbMath0827.68023OpenAlexW2079660095MaRDI QIDQ4834296

Zhizhang Shen, Keitaro Yukawa, Howard C. Wasserman

Publication date: 28 May 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/04f074d747a4c3322755b046131019cbeff4fe82

zbMATH Keywords

logic programsLP-consequence relationsLP-deduction relations

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: The Essential Inadequacy of Deduction in Logic Programming