/   Programming Languages Books /  

Prolog Books

Advertisement

Prolog Books

This section contains free e-books and guides on Prolog, some of the resources in this section can be viewed online and some of them can be downloaded.

Prolog Programming by Paul Brna

The contents include: Introduction, Knowledge Representation, Prolog’s Search Strategy, Unification, Recursion and Lists, The Box Model of Execution, Programming Techniques and List Processing, Control and Negation, Parsing in Prolog, Modifying the Search Space, Prolog Syntax, Operators, Advanced Features.

Author(s):

s 197Pages

Prolog by Ryan Stansifer

This note describes the following topics: Prolog programming: facts, queries, variables, rules, recursion, Backward chaining, Cut, Data structures: functors and lists, Unification, Relation to logic: not a theorem prover, closed-world assumption, Relation to logic: horn clauses and skolemization, linear resolution.

Author(s):

s 172Pages

An Introduction to Prolog Programming Lecture Notes

These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Topics covered includes: Prolog Syntax, Working with Lists, Working with Numbers, Working with Operators, Backtracking, Cuts and Negation, Logic Foundations of Prolog and Recursive Programming.

Author(s):

s 80Pages

Prolog Class Notes

The objective of this lecture note is to introduce you to the most basic concepts of the Prolog programming language.

Author(s):

s NAPages

Prolog implementation of a graphic tool for generation of Ada language specifications

The purpose of this note is to evaluate the suitability of Prolog in the implementation of a graphic tool for design and specification of Ada programs.

Author(s):

s 70Pages

Guide to Prolog Programming

This note provides an introduction to logic programming and PROLOG for beginners but also cover some advanced topics.

Author(s):

s NAPages

Natural Language Processing Techniques in Prolog

This note covers the following topics: finite state automata, finite state parsers and transducers, finite state methods in natural language processing, recursive transition networks (RTNs), RTN transducers and ATNs, definite clause grammars, bottom up parsing, top down parsing, using bottom up and top down information for parsing, passive chart parsing, bottom-up active chart parsing, top-down active chart parsing, feature structures, parsing feature-based grammars, natural language generation- a topdown generator.

Author(s):

s NAPages

Building Expert Systems In Prolog (Amzi)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages

Logic, Programming and Prolog, 2nd Edition (Ulf Nilsson/Jan Maluszynski)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages

Adventure in Prolog (Amzi)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages

Prolog and Natural Language Analysis (Fernando Pereira/Stuart M. Shieber)

Currently this section contains no detailed description for the page, will update this page soon.

Author(s):

s Pages

Advertisement