halt
RISC
hasCycleOnSuperclassChain
TypeAnalyser
hasField
SymbolTable
hd
Clause
Fact
Rule
head
NonEmptyProdList
NonEmptySymbolList