An introduction to logic programming through Prolog
An introduction to logic programming through Prolog was published by Prentice-Hall in 1996 but is now out of print. The author kindly provides a pdf of the text here:
http://spivey.oriel.ox.ac.uk/corner/Logic_Programming
Learn Prolog Now! website
Online
http://www.learnprolognow.org/lpnpage.php?pageid=online
Programming in Prolog: Using the ISO Standard
by C.S. Mellish (Author), W.F. Clocksin
Logic
Logic
"Bob's book". Logic for Problem Solving
Logic for Problem Solving by Robert Kowalski is out of print but fortunatley the text can be viewed in pdf for at his web page at Imperial College.
Simply Logical, Intelligent Reasoning by Example
Simply Logical, Intelligent Reasoning by Example by Peter Flach is out of print but he kindly provides a pdf http://www.cs.bris.ac.uk/~flach/SimplyLogical.html
Simply Logical, Intelligent Reasoning by Example by Peter Flach is out of print but he kindly provides a pdf http://www.cs.bris.ac.uk/~flach/SimplyLogical.html
AI
Prolog Programming for Artificial Intelligence
by Ivan Bratko
Interesting Sites
Logic in Action
http://www.logicinaction.org
This is the new homepage of the Logic in Action Open Course Project. The project aims at the development of elementary and intermediate courses in logic in electronic form.
Interesting Sites
Logic in Action
http://www.logicinaction.org
This is the new homepage of the Logic in Action Open Course Project. The project aims at the development of elementary and intermediate courses in logic in electronic form.
No comments:
Post a Comment