playing with prolog and github