This package let you interact with SWI-Prolog in all buffers. You can consult Prolog programs and evaluate embedded queries.