Been away for a while?
Check out our new building by clicking the picture on the right!
This
WorkBook requires Mathwright
Library Player 2000
to read it. To download the book, press the button on the left. A self-extracting
file will be downloaded. Either save it to disk and execute it later,
or simply select "Open it" from the popup
dialog. This places the book, along with its documentation, on the
Start, Programs, Mathwright Library menu, so that you may read
it whenever you like.
Size: 158 KB
Find similar WorkBooks in the Rooms below:
Categories:
Subjects:
Title: Logic Programming
Book Description: Given a database of facts, together with certain rules of inference that you create, it is possible to discover many new facts that are "provable" from these. The technique applies the propositional calculus to search automatically all conclusions that can be drawn in order to answer your questions about the data. Mathwright implements Prolog in this workbook and allows you to explore the world of automatic theorem proving, while teaching you how it works. The workbook comes equipped with 4 example rulesets:
Olympus
(facts about the Greek Pantheon),
Hanoi (rules for solving the famous "Towers
of Hanoi" puzzle),
Summit (rules for using deductive logic to
do recursive calculations) and
Paths (a directed graph about which you can
ask questions concerning the path connections.)
This is a "learn while you play" book.
Author: James White
Suggested Use: Experiment with Logic and learn about Prolog
Topics: logic, propositional calculus, prolog, automatic theorem proving, ruleset, inference engine, towers of hanoi
Number of Pages: 8
Animation: Yes
Grade
Level: 