Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:geshi_prolog [2008/02/24 14:17] gjn created |
pl:prolog:geshi_prolog [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 6: | Linia 6: | ||
| The implementation was carried out in 2007 by a student Paweł Kupka. | The implementation was carried out in 2007 by a student Paweł Kupka. | ||
| - | Grzegorz J. Nalepa supervised the implementation. | + | Grzegorz J. Nalepa <gjn@agh.edu.pl> supervised the implementation. |
| + | |||
| + | Copyright: (c) 2007 Pawel Kupka | ||
| + | |||
| + | Copyright: (c) 2004 Nigel McNie (http://qbnz.com/highlighter/) | ||
| ====== Installation ====== | ====== Installation ====== | ||
| - | * download | + | * download the file {{:prolog:geshi_prolog-1.0.zip|geshi_prolog-1.0.zip}} |
| * unpack | * unpack | ||
| - | * copy the file ''prolog.php'' to the directory | + | * copy the file ''prolog.php'' to the directory ''$WIKI/inc/geshi/'' |
| - | * have fun | + | * have fun! |
| - | FIXME | + | * report bugs :-) |
| + | |||
| ====== Use ====== | ====== Use ====== | ||
| - | FIXME | + | |
| + | <code prolog> | ||
| + | parent(pam,bob). | ||
| + | |||
| + | female(pam). | ||
| + | </code> | ||
| + | |||
| + | <code prolog> | ||
| + | /* | ||
| + | * family.pl | ||
| + | * taken from Bratko, 3rd ed, ch.1, p.17 | ||
| + | * | ||
| + | */ | ||
| + | |||
| + | parent(pam,bob). | ||
| + | parent(tom,bob). | ||
| + | parent(tom,liz). | ||
| + | |||
| + | female(pam). | ||
| + | female(liz). | ||
| + | female(pat). | ||
| + | |||
| + | male(tom). | ||
| + | male(bob). | ||
| + | male(jim). | ||
| + | |||
| + | mother(X,Y) :- | ||
| + | parent(X,Y), | ||
| + | female(X). | ||
| + | |||
| + | father(X,Y) :- | ||
| + | parent(X,Y), | ||
| + | male(X). | ||
| + | </code> | ||
| + | |||
| + | For more examples see [[prolog_lab|the Prolog lab]] (in polish :-) ) | ||
| + | |||
| ====== Future work ====== | ====== Future work ====== | ||
| - | FIXME | ||
| - | The plugin will be submitted to GeSHi soon! | + | The plugin has been submitted to GeSHi on 29/02/2008. |
| - | The plugin is being extended to support Logtalk. | + | The plugin is being extended to support [[http://www.logtalk.org|Logtalk]], see the [[http://forums.logtalk.org/viewtopic.php?f=18&t=12|forum post]]. |
