:- 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),
     labeling([ff],Vars)
    .