Prolog can do basic facts and rules to some extend

But not really until I rewrite EVERYTHING