BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Database predicates linked to the corresponding relations.
More...Files | |
file | argtype.cpp |
file | argtype.h [code] |
Enumeration type for types of predicate arguments. | |
file | pred.cpp |
file | pred.h [code] |
Database predicates with set of corresponding relations. | |
Database predicates linked to the corresponding relations.