[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.6.3 Logic languages: Second-stage

Set up

Perform the weekly set up instructions for project 3, homework c.

What to hand in

A file answers.txt with answers to the following questions.

  1. In ‘3/c/15.lisp’, the data3 function defines an equality test in a funny way: (<- (= ?x ?x)). Is that a typo? Should not the second "?x" be different to the first? And should there be a body to the rule?

A revised version of 15.lisp that supports and the code in the younger predicate of data3:

Note that if all the above works, then the !three deftest should now work.


This document was generated on April 19, 2011 using texi2html 5.0.