[ move all devel chit chat to PrologSamplePluginDev ]

This plugin nicely formats a Prolog piece of code, together with its query results.

His brother is the PerlSamplePlugin.

TODO:

• Apply a timeout to the Prolog execution (spawn a delayed killer process)

Usage example

 
%PROLOGSAMPLE{" 
knows(andrea,automi). 
knows(annalisa,karnaugh). 
prerequisiteof(automi,karnaugh). 
prerequisiteof(karnaugh,boole). 
mayknow(X,U) :- knows(U,Y), 
   prerequisiteof(Y,X). 
mayknow(X,U) :- knows(U,X)."  
query="?- mayknow(TOPIC,USER)."  
vars="TOPIC,USER"}%  

 
knows(andrea,automi). 
knows(annalisa,karnaugh). 
prerequisiteof(automi,karnaugh). 
prerequisiteof(karnaugh,boole). 
mayknow(X,U) :- knows(U,Y), 
   prerequisiteof(Y,X). 
mayknow(X,U) :- knows(U,X).

?- mayknow(TOPIC,USER).

found solutions: 
   TOPIC = karnaugh 
   USER = andrea 
found solutions: 
   TOPIC = boole 
   USER = annalisa 
no more solutions 
 

Settings

• One line description, is shown in the TextFormattingRules topic:
  • Set SHORTDESCRIPTION = This plugin nicely formats a Prolog piece of code, together with its query results.

Installation

• Unzip the PrologSamplePlugin.zip file in your TWiki installation directory.
• Install the Language::Prolog Perl module attached to it (it complains less respect to the CPAN version.) in your Perl @INC path.

If the installation is correct you will see a nice table showing the code, its value and stdout/stderr near the example.

-- TWiki:Main.AndreaSterbini - 27 Nov 2001