BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
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) | |
Data loader for Datalog facts.