Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: From Logic Programming to Prolog
Автор: Krzysztof R.
Аннотация:
A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.
|
|
О проекте