Lambda the Ultimate

inactiveTopic Logic Programming book
started 12/5/2000; 2:59:25 PM - last post 12/5/2000; 2:59:25 PM
Ehud Lamm - Logic Programming book  blueArrow
12/5/2000; 2:59:25 PM (reads: 1309, responses: 0)
Logic Programming book
Logic, Programming and Prolog (2ed), by Ulf Nilsson and Jan Maluszynski.

The book has been available for 10 years and has been used in a number of courses around the world. The text covers both theoretical aspects of logic programming as well as practical programming in Prolog, and extensions of the logic programming paradigm (e.g. equational logic programming, constraint logic programming, and query-answering in deductive databases).
Posted to Logic/Declerative by Ehud Lamm on 12/5/00; 2:59:41 PM