ychr-0.1.0.0: test/golden/append_test/append_test.chr
:- module(append_test, [go/3]). :- use_module(library(lists)). :- chr_constraint go/3. go(Xs, Ys, R) <=> R is append(Xs, Ys).
:- module(append_test, [go/3]). :- use_module(library(lists)). :- chr_constraint go/3. go(Xs, Ys, R) <=> R is append(Xs, Ys).