SHARE
TWEET

Untitled

a guest Jan 9th, 2020 80 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. :- use_module(library(clpfd)).
  2.  
  3. race(sol(pf: PF, nm:NM, wp:WP, hg:HG, sg:SG)):-
  4.     Vars = [PF, NM, WP, HG, SG],
  5.     Vars ins 1..5,
  6.     PF #< NM,
  7.     PF #> WP,
  8.     (   WP #= PF) #<==> (HG #\= SG),
  9.     (   (   PF - SG) #= (SG-WP)) #<==> (WP#>NM),
  10.      labeling([ff],Vars)
  11.     .
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top