BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
Parse and load data stored as Datalog facts. More...
#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../dom/strtab.h"
#include "../pred/pred.h"
Go to the source code of this file.
Classes | |
class | load_c |
Parse and load data stored as Datalog facts.