made some progress on prolog