BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
facts Directory Reference

Data loader for Datalog facts.

More...

Files

file  lex.cpp
 
file  lex.h [code]
 Lexical Scanner.
 
file  load.cpp
 
file  load.h [code]
 Parse and load data stored as Datalog facts.
 
file  syn.cpp
 
file  syn.h [code]
 Syntax error messages.
 
file  tok.cpp
 
file  tok.h [code]
 Token types (for lexical scanner)
 

Detailed Description

Data loader for Datalog facts.