A Prolog Program for Contraction

Neil Tennant

in Changes of Mind

Published in print June 2012 | ISBN: 9780199655755
Published online September 2012 | e-ISBN: 9780191742125 | DOI:
A Prolog Program for Contraction

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic


Show Summary Details


Here something unusual is done: the chapter states all the details of a Prolog program, for the simplest version of the contraction algorithm. Details of programs are hardly ever disclosed in books (or articles) in AI. Usually, the reader has to take on trust authors' claims about what their computer programs have actually accomplished, or how they generally behave on various problem sets, because the authors never reveal any details of the programs they (or their graduate students) might have written. The author of this book composed this Prolog program himself, and it actually works (at lightning speed, one might add) in a beautifully thorough fashion on a wide range of contraction problems in the literature. The various modules of the program are laid out and explained.

Keywords: Prolog; contraction; algorithm; program

Chapter.  1554 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.