Foundations of logic programming (Symbolic computation)

Foundations of logic programming (Symbolic computation)
Автор
 
Год
 
Страниц
 
124
ISBN
 
ISBN13:9780387132990
Издатель
 
Springer-Verlag
Искать в интернет библиотекахКупить

Описание:

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.

Похожие книги

Prolog and Natural-Language AnalysisProlog and Natural-Language Analysis
Автор: Pereira F.C.N., Shieber S.M.
Год: 2002
Natural Language Processing for Prolog ProgrammersNatural Language Processing for Prolog Programmers
Автор: Michael A. Covington
Год: 1993
Problem Solving With PrologProblem Solving With Prolog
Автор: John Stobo
Год: 1989
Prolog programming for artificial intelligenceProlog programming for artificial intelligence
Автор: Ivan Bratko
Год: 2000
Visual Prolog 7.0 for TyrosVisual Prolog 7.0 for Tyros
Автор: Eduardo Costa (перевод Сафронов Марк)
Год: 2007