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