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/source/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/source/latex/plweb/sample.pl')
-rw-r--r-- | Master/texmf-dist/source/latex/plweb/sample.pl | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/Master/texmf-dist/source/latex/plweb/sample.pl b/Master/texmf-dist/source/latex/plweb/sample.pl deleted file mode 100644 index bbd94d15d7c..00000000000 --- a/Master/texmf-dist/source/latex/plweb/sample.pl +++ /dev/null @@ -1,40 +0,0 @@ -%%^^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*/ |