@inproceedings{55e18bf6a3564236a61eba70ab504403,

title = "Logic programming with pseudo-resolution",

abstract = "This paper presents a new proof technique for Automated Reasoning and Logic Programming which based on a generalization of the original Connection Graph paradigm of Kowalski and provides a methodology for Logic Programming in this framework. We show how execution of a logic program can be executed in the logarithm of the number of steps taken by PROLOG and standard resolution theorem provers, or better. This paper deals primarily with recursion, both in relation its exploitation and its explication. In dealing with explicit recursion, a modified “compartmentalized” connection graph framework emerges. In dealing with implicit recursion, a filter for the compartmentalized connection graph emerges which forces recursion to be explicitly represented. The method is demonstrated on standard PROLOG examples.",

author = "Powers, {David M.W.}",

year = "1992",

month = jan,

day = "1",

doi = "10.1007/3-540-55460-2_30",

language = "English",

isbn = "978-3-540-55460-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "407--414",

editor = "Andrei Voronkov",

booktitle = "Logic Programming",

note = "2nd Russian Conference on Logic Programming, 1991 ; Conference date: 11-09-1991 Through 16-09-1991",

}