论文信息 - Methodology and Programming Techniques in GCLA II

Methodology and Programming Techniques in GCLA II

We will demonstrate various implementation techniques in the language GCLA. First an introduction to GCLA is given, followed by some examples of program developments, to demonstrate the development methodology. Other examples are also given to show various implementation techniques and properties of the system.

Martin Aronsson

[1] Nils J. Nilsson,et al. Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2] Lars Hallnäs,et al. A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules , 1990, J. Log. Comput..

[3] Lars Hallnäs. Partial inductive definitions , 1991 .

[4] Martin Aronsson. The GCLA User's Manual , 1991 .

[5] Lars Hallnäs,et al. A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions , 1991, J. Log. Comput..

[6] Martin Aronsson. A Definitional Approach to the Combination of Functional and Relational Programming , 1991 .