CMPU-181, Spring 2013
Asmt. 5
Due:  Wednesday, May 1 @ Noon

   NOTE:  For instructions on how to use SWIPL, see the comments at the
          beginning of the Prolog code from class, seen on April 22.
          That code is posted on the cs181 website under April 22.

Write an essay of at most three pages that:

   (1) describes the computational model of Prolog at a high level; 
 
   (2) describes how a formal set of rules can define a grammar for
       a language, whether that language is a spoken language (e.g.,
       English or Swahili) or a computer programming language (e.g.,
       Scheme or Java); and
 
   (3) demonstrates how a prolog program can define a simple grammar.

For part 1, you may appeal to online resources; but, if so, you must
cite them.  You need not delve into extremely low-level details, but
you may provide a few lines of Prolog code along with a sample query
for illustrative purposes.  For part 2, you may wish to provide a
simple (informally expressed) set of rules (not in Prolog), along with
some examples of grammatically acceptable or unacceptable sentences.
For part 3, you may include a small number of Prolog rules seen in
class, but the focus should be on your description of what those rules
mean, not on the intricacies of prolog.  Again, you may wish to insert
a few Prolog interactions for illustrative purposes.

  ==> You should use Latex/pdflatex to generate the PDF version
       of your essay.

  ==> You should use bibtex to generate the bibliography for your
      essay (if applicable).

See earlier assignments for discussions of pdflatex and bibtex.

Turn in a printout of your PDF file to me.

Electronically submit the directory containing your files using
the "submit181" command, as described in previous assignments.