FIX: Minor bugs of the PrologAtom logic.