BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Public Member Functions | |
bool | load (str_t filename) |
long | eval () |
str_t | name () const |
str_t | file (int i) const |
long | result (int i) const |
void | dump (str_t headline=STR_NULL) const |
|
virtual |
Load data file with EDB facts. Name of the data file.
Implements bench_c.