AMLOG : an Amalgamated Equational Logic Programming Language
スポンサーリンク
概要
- 論文の詳細を見る
AMLOG is an equational logic programming language based on the concept introduced by Fribourg [6]. In this language, an amalgamation of logic programming and equational programming is achieved by combining, in the computation procedure, the capability of inferring solutions by means of goal reduction as in logic programming and the term rewriting feature of equational programming. The logical basis of equational logic programming languages is established using deductive reasoning about programs. Two deductive systems are proposed, the notions of confluence and Church-Rosser property of programs are introduced based on these deductive systems, and their equivalence is proved. It is shown that solutions obtained by executing an equational logic program are deducible from the program in the deductive system for equational definite clauses. This result gives the soundness of the computation mechanism. The converse of this result is not true in general. However, for confluent programs, we have shown the following completeness result: if a goal has a solution deducible from a confluent program, under certain conditions, then there is a successfully terminating computation for the goal with a more general solution. Some implementation issues and features of the language are discussed.
- 一般社団法人情報処理学会の論文
- 1989-03-08
著者
-
Togashi Atsushi
Research Institute of Electrical Communication, Tohoku University
-
Togashi A
Tohoku Univ. Sendai Jpn
-
Togashi Atsushi
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Mansfield G
Tokyo Inst. Technol. Tokyo Jpn
-
MANSFIELD GLENN
Research Institute of Electrical Communication, Tohoku University
-
NOGUCHI SHOICHI
Research Institute of Electrical Communication, Tohoku University
-
Noguchi Shoichi
Research Institute Of Electrical Communication Tohoku University
-
Noguchi Shoichi
Research Center For Applied Information Science Tohoku University
-
Mansfield Glenn
Research Institute Of Electrical Communication Tohoku University
関連論文
- Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
- AMLOG : an Amalgamated Equational Logic Programming Language
- Limits on the Performance of Quantum-Controlled Devices
- An Improvement of The Protocol Synthesis Algorithm
- CNV Based Intermedia Synchronization Mechanism under High Speed Communication Environment
- A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
- A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
- A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)
- Generalized Predicate Completion and its Relation to Circumscription
- A Partial Translation of Default Logic to Circumscription
- Can Completion Entail Circumscription (Sometimes)?
- Classification of the NOAA Satellite Image Data by Unsupervised Neural Network
- An Efficient Graph Embedding Algorithm for a Three-Dimensional Cellular Reconfigurable Array
- A Canonical Translation from Higher Order Logic to Typed Lambda Calculus
- Verification and Refinement for System Requirements
- A Real-Time Scheduler Using Neural Networks for Scheduling Independent and Nonpreemptable Tasks with Deadlines and Resource Requirements