This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/chr/Tests/dense_int.chr

27 lines
348 B
Plaintext
Raw Normal View History

2015-10-13 08:17:51 +01:00
:- module(dense_int,[dense_int/0]).
:-use_module(library(chr)).
:-chr_type 'Arity' == dense_int.
:-chr_constraint c1(+'Arity').
:-chr_option(line_numbers, on).
:-chr_option(check_guard_bindings, on).
:-chr_option(debug, off).
:-chr_option(optimize, full).
dense_int :-
c1(1),
c1(1).
no_duplicates @
c1(X)
\
c1(X)
<=>
true.