Różnice między wybraną wersją a wersją aktualną.
|
pl:prolog:geshi_prolog [2008/10/03 20:38] gjn logtalk geshi link |
pl:prolog:geshi_prolog [2019/06/27 15:50] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Introduction ====== | ||
| - | This page contains information about a plugin developed for GeSHi to support Prolog syntax highlighting. | ||
| - | |||
| - | This simple idea came to mind of Grzegorz J. Nalepa and Igor Wojnicki who were also the first testers. | ||
| - | |||
| - | The implementation was carried out in 2007 by a student Paweł Kupka. | ||
| - | |||
| - | 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 ====== | ||
| - | * download the file {{:prolog:geshi_prolog-1.0.zip|geshi_prolog-1.0.zip}} | ||
| - | * unpack | ||
| - | * copy the file ''prolog.php'' to the directory ''$WIKI/inc/geshi/'' | ||
| - | * have fun! | ||
| - | * report bugs :-) | ||
| - | |||
| - | |||
| - | |||
| - | ====== Use ====== | ||
| - | |||
| - | <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 [[pl:prolog:prolog_lab|the Prolog lab]] (in polish :-) ) | ||
| - | |||
| - | |||
| - | |||
| - | ====== Future work ====== | ||
| - | |||
| - | The plugin has been submitted to GeSHi on 29/02/2008. | ||
| - | |||
| - | 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]]. | ||
