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