sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

`primrec` combinator in Prolog 

Ticket #40375
This commit is contained in:
Simon Forman 2020-05-05 15:52:40 -07:00
parent 07d94a1fad
commit ea356a539a
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
thun/thun.pl
View File

@ -372,6 +372,15 @@ combo(genrec, [R1, R0, Then, If|S],
[ Else, Then, If|S], E, [ifte|E]) :-
append(R0, [[If, Then, R0, R1, symbol(genrec)]|R1], Else).
combo(primrec, [list(_), list(B), int(N)|S], S, E, Eo) :-
N #=< 0,
append(B, E, Eo).
combo(primrec, [list(R), list(B), int(N) |S],
[list(R), list(B), int(M), int(N)|S], E, Eo) :-
N #> 0,
M #= N - 1,
append([symbol(primrec)|R], E, Eo).
/*
This is a crude but servicable implementation of the map combinator.