// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class Clause {
  Atom head;
  Atom_CList body;
  Clause() { }
  Clause(Atom head, Atom_CList body) {
    this.head = head;
    this.body = body;
  }
}