2.5 GNU Emacs Interface

Unfortunately the default Prolog mode of GNU-Emacs is not very good. There are several alternatives though:

• http://turing.ubishops.ca/home/bruda/emacs-prolog/
• http://www.logic.at/prolog/ediprolog/ediprolog.html
• http://www.logic.at/prolog/pceprolog/pceprolog.html
• http://www.logic.at/prolog/etrace/etrace.html