登入
選單
返回
Google圖書搜尋
From Logic Programming to Prolog
Krzysztof R. Apt
出版
Prentice Hall
, 1997
主題
Computers / Logic Design
Computers / Languages / General
ISBN
013230368X
9780132303682
URL
http://books.google.com.hk/books?id=8Y1QAAAAMAAJ&hl=&source=gbs_api
註釋
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.