Add Rethinking Prolog paper