diff options
author | Karl Berry <karl@freefriends.org> | 2009-05-24 00:21:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-05-24 00:21:06 +0000 |
commit | 90f6268df576cc5fc8d12b01bcea26fb5a11b666 (patch) | |
tree | 500d2ddcf79dcd6cdc184956a315b5846b502ce1 /Master/texmf-dist/doc/latex/plweb/sample.pl | |
parent | 2fb0bda10a85fcf4aa5f00a52296b6311158f45d (diff) |
plweb update
git-svn-id: svn://tug.org/texlive/trunk@13438 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/plweb/sample.pl')
-rw-r--r-- | Master/texmf-dist/doc/latex/plweb/sample.pl | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/plweb/sample.pl b/Master/texmf-dist/doc/latex/plweb/sample.pl new file mode 100644 index 00000000000..bbd94d15d7c --- /dev/null +++ b/Master/texmf-dist/doc/latex/plweb/sample.pl @@ -0,0 +1,40 @@ +%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%^^A This is a sample file to demonstrate the use of the \LaTeX style option +%%^^A pl.sty. +%%^^A +%%^^A The ^^A is just used to make it printable with the documentation. +%%^^A doc.sty insists on it. Otherwise a single % would have been enough. +%%^^A +%%^^A written by gene 11/94 +%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +:- module(sample). /* + +This is a dummy module to show the possibilities of the \LaTeX{} style +option pl. +We define a predicate. It looks like + +\Predicate select/3(Member, List, Rest). + +This predicate describes the relation of the three arguments which fulfill +$\mbox{\it Member}\in\mbox{\it List}$\/ and $\mbox{\it Rest}=\mbox{\it +List}\backslash\mbox{\it Member}$. + +And here comes the implementation: +\PL*/ +select(Member,[Member|Rest],Rest). +select(Member,[Head|List],[Head|Rest]) :- + select(Member,List,Rest). +/*PL + +\Predicate in/2(Member, List). + +This predicate is a reimplementation of the predicate \verb|member/2| +using the \verb|select/3| predicate. + +\PL*/ +in(Member,List) :- + select(Member,List,_). +/*PL +Now we are done with the example. +\EndProlog*/ |