?

Log in

No account? Create an account
entries friends calendar profile Previous Previous Next Next
prologовое - ruik-ruik! röhh-röhh!
raydac
raydac
prologовое
в GNU Prolog реализован достаточно клевый механизм работы с ограничениями, думал может это позволит eight queen puzzle решить в одну строку, но что то не, не получается, дальше "x должны быть разные" и "y должны быть разные" не получается, надо еще поизучать, а то было бы очень клево если бы можно было такие задачи решать в одну строку

?- CX=[X1,X2,X3,X4,X5,X6,X7,X8],CY=[Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8],fd_domain(CX,1,8),fd_domain(CY,1,8),fd_all_different(CX),fd_labeling(CX),fd_all_different(CY),!,RSLT=[X1/Y1,X2/Y2,X3/Y3,X4/Y4,X5/Y5,X6/Y6,X7/Y7,X8/Y8],fd_labeling(CY),write(RSLT),nl,fail.

Tags:

Leave a comment