From logic programming to Prolog
著者
書誌事項
From logic programming to Prolog
（Prentice-Hall International series in computer science）
Prentice Hall, c1997
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.
目次
- Unification
- logic programs - procedural interpretation
- logic programs - declarative interpretation
- programming in pure Prolog
- termination
- the occur-check problem
- partial correctness
- programming in pure Prolog with arithmetic
- verification of pure Prolog
- programs with arithmetic.
「Nielsen BookData」 より