00001 00006 #include <stdio.h> 00007 #include <iostream> 00008 #include <fstream> 00009 #include "config.h" 00010 #include "exception.h" 00011 #include "display.h" 00012 #include "parser.h" 00013 #include "unification.h" 00014 00015 int main(int argc, char *argv[]) 00016 { 00017 try 00018 { 00019 Configuration *config = globconfig = new Configuration(argc,argv); 00020 Display::Head(config); 00021 Parser *parser = new Parser(config); 00022 Unification *unification = new Unification(config,parser); 00023 unification->run(); 00024 Display::displayResult(unification); 00025 Display::Foot(config); 00026 } 00027 catch (exception& e) 00028 { 00029 cerr << endl << e.what() << endl; 00030 //getc(stdin); 00031 } 00032 return 0; 00033 }