@Retention(value=RUNTIME) @Target(value=METHOD) public @interface PrologMethod
String[]
clauses
boolean
exceptionOnFailure
keepSubstitutions
String
predicate
signature
types
public abstract String[] clauses
public abstract String predicate
public abstract String signature
public abstract String[] types
public abstract boolean exceptionOnFailure
public abstract boolean keepSubstitutions