XSB/packages/CDF/theoremprover
