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