List of Books in Keyword #Prolog

AI algorithms, data structures, and idioms in Prolog, Lisp, and Java
Published on: 2009
Intermediate Machine Learning English

Prolog Lisp Java Algorithms Data Structures
An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German
Published on: 2006
Beginner vocab English

The areas of natural language processing and computational linguistics have continued to grow in recent years, driven by the demand …

Perl Prolog Language Processing Theories Implementation
An Introduction to Language Processing with Perl and Prolog: .: with Special Consideration of English, French, and German
Published on: 2006
Beginner vocab English

This book teaches the principles of natural language processing and covers linguistics issues. It also details the language-processing functions involved, …

Perl Prolog Language Processing English French
Prolog Experiments in Discrete Mathematics, Logic, and Computability
Published on: 2005
Beginner Technology English

Prolog Discrete Mathematics Logic Computability Experiments
An introduction to logic programming through Prolog
Published on: 1996
Beginner Logic and Foundations English

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended …

Prolog Logic Programming Techniques Applications
The Journal of Logic Programming
Published on: 1984 December
Unordered Computer Science and Theory English

Issues (Editions)YearIssue2000Volume: 461-2Volume: 451-3Volume: 441-3Volume: 43123Volume: 421231999Volume: 41index-I112-3Volume: 4011-32-3Volume: 39index-I11-3Volume: 381231998Volume: 371-3Volume: 36123Volume: 35123Volume: 341231997Volume: 33123Volume: 32123Volume: 311-3Volume: 301231996Volume: 291-3Volume: …

Logic Programming Prolog Semantics Computation
The Journal of Logic Programming
Published on: 1987 September
Unordered Computer Science and Theory English

Issues (Editions)YearIssue2000Volume: 461-2Volume: 451-3Volume: 441-3Volume: 43123Volume: 421231999Volume: 41index-I112-3Volume: 4011-32-3Volume: 39index-I11-3Volume: 381231998Volume: 371-3Volume: 36123Volume: 35123Volume: 341231997Volume: 33123Volume: 32123Volume: 311-3Volume: 301231996Volume: 291-3Volume: …

Logic Programming Semantics Prolog Computation
Theory and Practice of Logic Programming
Published on: 2003 November 25
Unordered Software Engineering English

Issues (Editions)YearIssue2020Volume: 211Volume: 203456Volume: ??????2019Volume: 2012Volume: 1923045-6Volume: ??????2018Volume: 202Volume: 1912Volume: 1823-45-62017Volume: 1812Volume: 17345-62016Volume: 1712Volume: 16345-62015Volume: 16124Volume: 154-562014Volume: 151236Volume: 14234-562013Volume: 1513Volume: …

logic programming Prolog semantics algorithms constraints
Theory and Practice of Logic Programming
Published on: 2014 July 21
Unordered Unordered English

Issues (Editions)YearIssue2020Volume: 211Volume: 203456Volume: ??????2019Volume: 2012Volume: 1923045-6Volume: ??????2018Volume: 202Volume: 1912Volume: 1823-45-62017Volume: 1812Volume: 17345-62016Volume: 1712Volume: 16345-62015Volume: 16124Volume: 154-562014Volume: 151236Volume: 14234-562013Volume: 1513Volume: …

logic programming semantics Prolog constraint solving algorithms
Theory and Practice of Logic Programming
Published on: 2016 March 16
Unordered Unordered English

Issues (Editions)YearIssue2020Volume: 211Volume: 203456Volume: ??????2019Volume: 2012Volume: 1923045-6Volume: ??????2018Volume: 202Volume: 1912Volume: 1823-45-62017Volume: 1812Volume: 17345-62016Volume: 1712Volume: 16345-62015Volume: 16124Volume: 154-562014Volume: 151236Volume: 14234-562013Volume: 1513Volume: …

logic programming declarative languages Prolog formal semantics computational logic

Page of