In: IEEE Transactions on Software Engineering, Vol. 14, No. 4, pages 481-498. April 1988.
Abstract: A predicate-tranistion net model for a subset of Horn clause logic programs is introduced. The syntax, transformation procedure, semantics, and deduction process for the net model are examined, and a possible parallel implementation for the net model is described.