In: IEEE Trans. Software Eng., Vol. 15, No. 2, pages 209-217. 1989.
Abstract: This paper discusses a proof procedure and answer extraction in a high-level Petri net model of logic programs. These programs are restricted to Horn clause subset of first order predicate logic and to finite problems.