#include 
#include 
#include "Scanner.h"
#include "DatalogProgram.h"
#include "Parse.h"
#include "Interpreter.h"

using namespace std;

int main(int argc, char* argv[]) {
    Scanner scanner;
    scanner.scan(argv[1]);
//    scanner.printTokens(argv[2]);
    vector inputTokens = scanner.getTokens();
    Parser parser(inputTokens);
    DatalogProgram inputDatalogProgram = parser.parse();
//    parser.printStructures(argv[2]);
    Interpreter interpreter(inputDatalogProgram);
    interpreter.interpret();
    interpreter.printResults();

	//system("pause");
    return 0;
}