Description: |
PrologConsole is a Console plugin shell embedding an ISO compliant Prolog system into jEdit. The chosen Prolog system is called tuProlog and is developed at the University of Bologna and Cesena, Italy. Currently, jEdit integration consists in consulting Prolog theories opened in the text editor and listing in a jEdit buffer all the predicates forming the Prolog engine's current theory. tuProlog system 1.2.0 is provided with the plugin. |