From 28c290d8140eaf5c1b90f5797e6b79a272595104 Mon Sep 17 00:00:00 2001 From: Alexander Fefelov Date: Thu, 9 Jan 2014 05:20:46 +0400 Subject: [PATCH] Added "Prolog Experiments in Discrete Mathematics, Logic, and Computability" --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index e466ee0aa..3550fd1d3 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -1170,6 +1170,7 @@ See also [TeX](#tex) * [Logic, Programming and Prolog (2ed)](http://www.ida.liu.se/~ulfni/lpp/) * [Natural Language Processing Techniques in Prolog](http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/) * [Prolog and Natural-Language Analysis](http://www.mtome.com/Publications/PNLA/pnla-digital.html) - Fernando C. N. Pereira, Stuart M. Shieber +* [Prolog Experiments in Discrete Mathematics, Logic, and Computability](http://web.cecs.pdx.edu/~jhein/books/PrologLabBook09.pdf) - James L. Hein * [Prolog for Programmers](https://sites.google.com/site/prologforprogrammers/) * [Prolog Techniques](http://bookboon.com/int/student/it/prolog-techniques-applications-of-prolog) * [Simply Logical](http://www.cs.bris.ac.uk/~flach/SimplyLogical.html)