Starting fresh again.

CHANGE: PL-Atom -> PrologAtom. Everything around it is completely rewritten.