ychr-0.1.0.0: test/golden/sum_list_test/sum_list_test.chr
:- module(sum_list_test, [go/2]). :- use_module(library(lists)). :- chr_constraint go/2. go(Xs, R) <=> R is sum_list(Xs).
:- module(sum_list_test, [go/2]). :- use_module(library(lists)). :- chr_constraint go/2. go(Xs, R) <=> R is sum_list(Xs).