#include <stdio.h>
#include <iostream>
#include <fstream>
#include "config.h"
#include "exception.h"
#include "display.h"
#include "parser.h"
#include "unification.h"
Go to the source code of this file.
Functions | |
int | main (int argc, char *argv[]) |
int main | ( | int | argc, | |
char * | argv[] | |||
) |
Main file of the unificator
Definition at line 15 of file main.cpp.
References Display::displayResult(), Display::Foot(), globconfig, Display::Head(), and Unification::run().