@Retention(value=RUNTIME)
@Target(value=METHOD)
public @interface PrologMethod
Modifier and Type | Optional Element and Description |
---|---|
java.lang.String[] |
clauses |
boolean |
exceptionOnFailure |
boolean |
keepSubstitutions |
java.lang.String |
predicate |
java.lang.String |
signature |
java.lang.String[] |
types |