Yet another toy prolog. Just a proof of concept. Very old code.