BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Classes
load.h File Reference

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
 

Detailed Description

Parse and load data stored as Datalog facts.