Logic Programs for Primitive Recursive Sets

Meyer and Ritchie have previously given a description of primitive recursive functions by loop-programs. In this paper a class of logic programs is described which computes the primitive recursive sets on Herbrand universes. Furthermore, an internal description of primitive recursive functions and sets on Herbrand universes is give