On computability by logic programs
computational completeness of Horn clause
scientific article; zbMATH DE number 937282