fixing log:dtlit for prolog:atom (obs from Jean-Marc Vanel)