Moved Prolog code to a new directory