public class CDConform extends java.lang.Object
CDConform()
static void
check(PrologDB.DB db)
main(java.lang.String... args)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public CDConform()
public static void main(java.lang.String... args)
public static void check(PrologDB.DB db)