i'm starting sicstus prolog , define variable, startingtimes
, have domain defined list [1, 5, 10]
how can in sicstus prolog?
i like:
domain(startingtimes, 1, 10) startingtimes #= 1 #\/ startingtimes #= 5 #\/ startingtimes #= 10
but horrible. there must simple way how that. maybe fd_sets
?
note: tried find out how done in manual prolog uses common words , it's hard use google that.
?- use_module(library(clpfd)). ?- startingtimes in {1,5,10}.
Comments
Post a Comment