Closed sasagawa888 closed 3 years ago
ex.
:- op(700,xfx,isl).
Y isl [] + Y :- !. Z isl [A|X] + Y :- member(A,Y),!,Z isl X + Y. [A|Z] isl [A|X] + Y :- Z isl X + Y.
Fixed in interpreter.
N-Prolog Ver 1.80 ?- [-'tests/iidaka.pl']. yes ?- X isl [1,2,3]+[2,3,4]. X = [1,2,3,4] . yes ?-
Fixed compiler.
ex.
:- op(700,xfx,isl).
Y isl [] + Y :- !. Z isl [A|X] + Y :- member(A,Y),!,Z isl X + Y. [A|Z] isl [A|X] + Y :- Z isl X + Y.