diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-03-04 13:51:22 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-03-04 13:52:24 +0100 |
| commit | b41711713002a8980a783d36164fbecbaddc1986 (patch) | |
| tree | 9083928bad521047d48bce8860821cfde8601303 /inst | |
| parent | 1521c628a07a74860fd87512d1dbd5131124ee2d (diff) | |
| download | prlg-b41711713002a8980a783d36164fbecbaddc1986.tar.gz prlg-b41711713002a8980a783d36164fbecbaddc1986.tar.bz2 | |
load a prelude
Diffstat (limited to 'inst')
| -rw-r--r-- | inst/prelude.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/inst/prelude.pl b/inst/prelude.pl new file mode 100644 index 0000000..fefed5f --- /dev/null +++ b/inst/prelude.pl @@ -0,0 +1,5 @@ +member(X, [X|_]). +member(X, [_|T]) :- member(X,T). + +append([], X, X). +append([X|T], Y, [X|TY]) :- append(T,Y,TY). |