Jalog 1.4
java.lang.Objectio.github.JalogTeam.jalog.BuiltIns
public class BuiltIns
Class BuiltIns enumerates all classes that implement built-in
predicates.
Subclasses and instances of this class should not be made. When built-in
predicates are added or removed, this class must be modified.
Each built-in predicate must be presented on a separate row in the table
list.
A typical row of the table:
new ClassInfo("exit", Pred_exit.class, 0, 1),
where
"exit"String. Must differ from
other predicate names in the table.Pred_exit.class .01Every class that implements a built-in predicate must be a subclass of
Pred.
| Field Summary | |
|---|---|
static ClassInfo[] |
list
List of built-in predicates. |