rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use can_be/2

Browse Source
This commit is contained in:
Markus Triska
2023-08-15 21:36:59 +02:00
parent 61f975ea18
commit d8e126044f
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/lib/clpz.pl
View File

@@ -119,7 +119,7 @@
:- use_module(library(iso_ext)). :- use_module(library(iso_ext)).
:- use_module(library(dcgs)). :- use_module(library(dcgs)).
:- use_module(library(terms)). :- use_module(library(terms)).
:- use_module(library(error), [domain_error/3, type_error/3]). :- use_module(library(error), [domain_error/3, type_error/3, can_be/2]).
:- use_module(library(si)). :- use_module(library(si)).
:- use_module(library(freeze)). :- use_module(library(freeze)).
:- use_module(library(arithmetic)). :- use_module(library(arithmetic)).
@@ -1745,11 +1745,7 @@ clpz_in(V, D) :-
drep_to_domain(D, Dom), drep_to_domain(D, Dom),
domain(V, Dom). domain(V, Dom).
fd_variable(V) :- fd_variable(V) :- can_be(integer, V).
( var(V) -> true
; integer(V) -> true
; type_error(integer, V)
).
%% ins(+Vars, +Domain) %% ins(+Vars, +Domain)
% %