[Joypy-announce] joypy/Joypy: small func recognizes [] and [X].

Back to archive index
scmno****@osdn***** scmno****@osdn*****
Tue Aug 20 14:02:43 JST 2019


changeset ddbab0c8a528 in joypy/Joypy
details: http://hg.osdn.jp/view/joypy/Joypy?cmd=changeset;node=ddbab0c8a528
user: Simon Forman <sform****@hushm*****>
date: Mon Aug 19 22:02:06 2019 -0700
description: small func recognizes [] and [X].

diffstat:

 thun/gnu-prolog/thun.pl |  4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diffs (14 lines):

diff -r d10018cfe1ad -r ddbab0c8a528 thun/gnu-prolog/thun.pl
--- a/thun/gnu-prolog/thun.pl	Sun Aug 18 16:59:31 2019 -0700
+++ b/thun/gnu-prolog/thun.pl	Mon Aug 19 22:02:06 2019 -0700
@@ -114,6 +114,10 @@
 
 func(sqrt, [A|S], [B|S]) :- B is sqrt(A).
 
+func(small, [[_]|S], [ true|S]).
+func(small, [ []|S], [ true|S]).
+func(small, [  X|S], [false|S]) :- X \= [_], X \= [].
+
 
 /*
 Combinators



More information about the Joypy-announce mailing list
Back to archive index