The Spell Management System

The below sections start by explaining the specification types $(2\mathrm{.}1)$ and the format of the specification data $(2\mathrm{.}2),$ and

then traces an example $(2\mathrm{.}3)$ that covers all the possible circumstances under the basic $($Pass$-$level$)$ version of the problem.

$2\mathrm{.}1$ Specs

In your hypothetical spell management system $($SMS$),$ you will be keeping track of which spells are currently learned.

Which spells are prerequisites for which other spells will be given by the specification

PREREQ $$spellname$1$spellname$2...$spellnamen$$

$($where the notation $$spellname$$ means $$fill in with some actual spell name$).$ In this PREREQ specification, there will

be at least two spells: the focal one $$spellname$1,$ and at least one $($spellname$2)$ that is a prerequisite for it$.$ There

will also be only one PREREQ specification for each $$spellname$1.$

A spell can be learned explicitly $($unless it has already been learned$)$ by the specification