@Retention(value=RUNTIME) @Target(value=TYPE) public @interface PrologClass
String[]
clauses
public abstract String[] clauses