Prolog language support for Atom