Skip to content

Instantly share code, notes, and snippets.

@CarlOlson

CarlOlson/clpfd_test.prolog

Created November 23, 2016 17:59
Show Gist options
  • Save CarlOlson/9eee35cbb829713dd24ce58ce178480e to your computer and use it in GitHub Desktop.
Save CarlOlson/9eee35cbb829713dd24ce58ce178480e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
clpfd_test.prolog
:- use_module(library(clpfd)).
something(N, N0) :-
N0 #= N // 2.
clpfd_test(L) :-
S #>= 2,
S #=< 10,
bagof(N, something(S, N), L).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment