An inference system is then easily obtained from an LR parser, since only the parts dealing with terminals (which appear at the leaves) must be modified.

SLR INFERENCE: AN INFERENCE SYSTEM. FOR FIXED-MODE LOGIC PROGRAMS,. BASED ON SLR PARSING*. DAVID A. ROSENBLUETH AND JULIO C. PERALTA +. D. Definite-clause ...

SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing. David A. Rosenblueth, Julio C. Peralta. Pages 227-259: View PDF. Article ...

Westudy an inference system based on LR parsing meant for "fixed-mode" logic programs,where each argument in a predicate acts either as input or as output ofan.

SLDNFA: An Abductive Procedure for Abductive Logic Programs. 111 ... SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing.

We describe a method for automatic program inversion of first-order functional programs based on methods of LR(0) parsing. We formalize the transformation ...

... Logic Programming. 201-225 BibTeX · David A. Rosenblueth, Julio C. Peralta: SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing ...

SLR Inference: an Inference System for Fixed-Mode Logic Programs, Based on SLR Parsing, David A. Rosenblueth and Julio C. Peralta, The Journal of Logic ...

SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing · D. RosenbluethJ. Peralta. Computer Science. J. Log. Program. 1998. 2 ...

SLR INFERENCE: AN INFERENCE SYSTEM FOR FIXED-MODE LOGIC. PROGRAMS, BASED ON SLR PARSING. David A. Rosenblueth and Julio C. Peralta. TITLE INDEX TO VOLUME 34.