Representation theorems and primitive predicates for logic programs - Yokomori, Takashi (1985)