Lloyd J. — Foundations of logic programming (Symbolic computation)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Foundations of logic programming (Symbolic computation)
Автор: Lloyd J.
Аннотация:
A good explanation of pure Prolog and their inference mechanisme. Elementary considerations of using negation in Prolog but a new look about continous processes. Dedicated to lecture notes for students and undergraduates.
|
|
О проекте