Skip to content

Instantly share code, notes, and snippets.

@Risto-Stevcev

Risto-Stevcev/range.pl

Created May 31, 2022 11:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Risto-Stevcev/7b6184b0534c81409d813edd3b69c66f to your computer and use it in GitHub Desktop.
Save Risto-Stevcev/7b6184b0534c81409d813edd3b69c66f to your computer and use it in GitHub Desktop.
Download ZIP
Prolog ranges
Raw
range.pl
?- use_module(library(clpfd)).
?- I in 1..5, findall(I, indomain(I), Is).
Is = [1, 2, 3, 4, 5],
I in 1..5.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment