tuffy.infer.ds

Classes  GAtom GClause KeyBlock