This directory contains materials related to the TAQL tutorial.  It contains
the tutorial documents (available pre-packaged in hardcopy from
soar-doc@cs.cmu.edu), example code, and solutions to evercises.

    blocks/ - blocks world code

        concepts: depth-first search; evaluate-object with
        cycle-detection, and "novalue" and "success" values

    docs/ - exercise documents, and cover for tutorial package

    insert-after.taql, insert-after.trace, insert-driver.taql -
        code for inserting an element in a list

        concepts:  list and pointer operations; result-superstate
        creation; :bind keyword in apply-operator

    mab/ - monkeys and bananas exercise

        concepts:  ordinary search-control (smarter-monkey.taql);
        hill-climbing (hill-climb.taql); depth-first search
        (depth-first.taql); means-ends-analysis (mea-monkey.taql);
        abstract specifications (data-spec.txt, space-spec.txt); 

        see spec-handout-1.txt for a description of the task, and
        mab.taql for the base code.

    member-driver.taql, member.taql, member.trace -
        code that implements a lisp-like member operator

        concepts: more list and pointer operations

    trav/ - traveling salesperson code

        concepts: depth-first search with depth bound; evaluate-object
        with numeric values
