P. 1
Prolog Lab Manual

Prolog Lab Manual

|Views: 3,418|Likes:
Published by elfrich

More info:

Published by: elfrich on Jun 09, 2011
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





The Prolog language allows us to explore a wide range of topics in discrete
mathematics, logic, and computability. Prolog’s powerful pattern-matching
ability and its computation rule give us the ability to experiment in two
directions. For example, a typical experiment might require a test of a
definition with a few example computations. Prolog allows this, as do all
programming languages. But the Prolog computation rule also allows a
definition to be tested in reverse, by specifying a result and then asking for
the elements that give the result. From a functional viewpoint this means
that we can ask for domain elements that map to a given result.
After a brief introduction to Prolog we’ll start right in doing experiments.
To keep the emphasis on the discrete mathematics, logic, and computability,
we’ll introduce new Prolog tools in the experiments where they are needed.

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->