SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing

DOI10.1016/S0743-1066(96)00076-3zbMath0905.68028MaRDI QIDQ4208852

Julio C. Peralta, David A. Rosenblueth

Publication date: 24 November 1998

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

zbMATH Keywords

context-free grammarsPrologdefinite-clause grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

This page was built for publication: SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing