Here is my past work on prolog