Added working Prolog test