// This file was generated by DAJ from program.cd. Binder = Clause_List EOF. Clause = Atom [":-" Atom_CList ] ".". Atom = ["says" Term ":"] Constant [ Term_PCList ]. Term : Constant | Variable. Constant : IdentConstant | StringConstant extends Term. IdentConstant = "#" Ident extends Constant. StringConstant = String extends Constant. Variable : VariableName | UIdent extends Term. VariableName = Ident extends Variable. UIdent = "_" Ident extends Variable. Clause_List ~ { Clause } . Atom_CList ~ Atom{"," Atom } . Term_PCList ~ "(" Term{"," Term } ")".