TY - JOUR
T1 - ALGORITHM TRANSLATING RECURSIVE PROGRAMS INTO HORN SETS.
AU - Kishi, Tomoji
AU - Yamasaki, Susumu
AU - Doshita, Shuji
PY - 1983
Y1 - 1983
N2 - R. A. Kowalski has formulated the computations on Horn clause sets based on derivation of the first-order predicate logic, where the Horn clause set is regarded as a program and the input (unit) derivation controversy in the Horn clause set is regarded as a program and the input (unit) derivation controversy in the Horn clause set is regarded as the computation. This paper presents an algorithm for translating the recursive program into a Horn clause set so that the corresponding computations are equivalent, indicating that the computations in a recursive program can be represented by a Horn clause set. In the proposed translation algorithm, a Horn clause set must be constructed reflecting the computation rules of the recursive program. The paper adopts, as the computation rule of the recursive program, the parallel outermost rule, which is one of the fixed-point rules and one of those best ensuring stationarity. A technique is shown for the translation algorithm from the recursive program to Horn clause sets.
AB - R. A. Kowalski has formulated the computations on Horn clause sets based on derivation of the first-order predicate logic, where the Horn clause set is regarded as a program and the input (unit) derivation controversy in the Horn clause set is regarded as a program and the input (unit) derivation controversy in the Horn clause set is regarded as the computation. This paper presents an algorithm for translating the recursive program into a Horn clause set so that the corresponding computations are equivalent, indicating that the computations in a recursive program can be represented by a Horn clause set. In the proposed translation algorithm, a Horn clause set must be constructed reflecting the computation rules of the recursive program. The paper adopts, as the computation rule of the recursive program, the parallel outermost rule, which is one of the fixed-point rules and one of those best ensuring stationarity. A technique is shown for the translation algorithm from the recursive program to Horn clause sets.
UR - http://www.scopus.com/inward/record.url?scp=0020495810&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0020495810&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0020495810
VL - 14
SP - 1
EP - 8
JO - Systems, computers, controls
JF - Systems, computers, controls
SN - 0096-8765
IS - 1
ER -