a guest Jan 9th, 2020 80 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- :- use_module(library(clpfd)).
- race(sol(pf: PF, nm:NM, wp:WP, hg:HG, sg:SG)):-
- Vars = [PF, NM, WP, HG, SG],
- Vars ins 1..5,
- PF #< NM,
- PF #> WP,
- ( WP #= PF) #<==> (HG #\= SG),
- ( ( PF - SG) #= (SG-WP)) #<==> (WP#>NM),
RAW Paste Data