---
title: "A Logic Program Schema and Its Applications"
authors:
  - "Takashi Yokomori"
doi: ""
url: "https://ijcai.org/proceedings/1985/142"
pdf: "https://ijcai.org/proceedings/1985/0142.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "723-724"
track: "Logic Programming"
keywords:
---

# A Logic Program Schema and Its Applications

Takashi Yokomori

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 723-724.

## Abstract

In this paper we consider a specific type of logic programs called recursive-schema programs and show that the class of recursive-schema programs has sufficient expressive capability, which provides an alternative simple proof for the result by Tärnlund concerning the computational power of Horn clause programs. Further, it is shown that any Turing computable logic program can be expressed as a conjunctive formula of three recursive-schema programs. Some application issues are also discussed in the contexts of program transformation and synthesis.