From: Giulio P. <gp...@so...> - 2003-01-14 16:08:02
|
At 05.55 14/01/2003 -0500, you wrote: >Do you have a short instruction manual for your ProLog plugin? It doesn't >seem to add anything to the documentation, and typing anything returns no. Docs should be included in the plugin. See the docs property in the PrologPlugin.props file. Anyway, you can browse them online at http://digilander.iol.it/wysiwyg/jedit/PrologConsole.html (If I correctly understand your concern, you have to consult/0 the current buffer's theory before the Prolog engine knows about it, i.e. before issuing a goal concerning a theory in the current buffer, you have to type the "consult." command to the Console. THEN, you can ask queries involving the theory). Regards, Giulio Piancastelli. |