#include <cstdlib>
#include <iostream>
namespace test_literal1 {
int test(int argc, char *argv[]);
};
namespace test_knowledge_base1 {
int test(int argc, char *argv[]);
};
namespace test_knowledge_base2 {
int test(int argc, char *argv[]);
};
namespace test_knowledge_base3 {
int test(int argc, char *argv[]);
};
namespace test_query_rule1 {
int test(int argc, char *argv[]);
};
int main(int argc, char *argv[])
{
test_literal1::test(argc, argv);
test_knowledge_base1::test(argc, argv);
test_knowledge_base2::test(argc, argv);
test_knowledge_base3::test(argc, argv);
test_query_rule1::test(argc, argv);
std::cout << "\nTEST COMPLETED\n";
return EXIT_SUCCESS;
};