Tuning the test script
Reducing code verbosity
Extracting the minimization algorithm as a metafunction of its own
Sanitizing the file inclusion chain
Added metafunction that checks whether two sets of unifiers are equivalent
Updated minimize so that it follows the inheritance idiom
Updated the test script for better output format
Removing the inclusion of some unecessary headers
Merging master for the latest fixes

Conflicts:
	include/metalog/types.hpp
	test/unify.cpp
Bugfix: test targets were not properly managed
Adding test script for the SLD resolve implementation
Fixing the SLD implementation
Fixing the implementation of join
First working example

issue:
stack overflows once clauses with premises are added - smells like a bug