« ベクトル計算機のための探索問題の計算法 「並列バックトラック計算法」 | メイン | OR 並列実行のための論理型言語プログラムのベクトル化法 »

A General-Purpose Conjunctive Iterative Control Structure for Prolog

Kanada, Y., 未出版, 1989.

[ English page ]
[ 論文 PDF ファイル ]

要約: A loop-like control structure without using backtracking, or conjunctive iteration, is expressed using recursion in Prolog. However, recursion is too powerful to express an iteration, which needs more restrictive syntax and semantics. This paper presents a general-purpose iteration predicate do. Predicate do enables a programmer to write most iterations, such as arithmetical iterations, append, member, mapcar or reduce, and so on, more easily and in more readable way, in combination with the extended λ term, which is a concept similar to the λ expression in Lisp. Unification and logical variables in Prolog enables some extensive usage of the control structure compared with those of other programming languages, such as Lisp.

キーワード: プログラミング言語, 制御構造, 論理型言語, Prolog

コメントを投稿

About

1989-01-01 00:00に投稿されたエントリーのページです。

他にも多くのエントリーがあります。メインページアーカイブページも見てください。

(C) 2008 by Yasusi Kanada
Powered by
Movable Type 3.36