:- prompt(_, '').
:- use_module(library(readutil)).
search([]):-!.
search([X/Y|XYs]):-member(Y,[1,2,3,4,5,6,7,8]),
search(XYs),
not(attacks(X/Y,XYs)).
attacks(X/Y,XYs):-
member(X2/Y2,XYs),
main:-
process,
process:-
/* your code goes here */
XYs=[1/Y1,2/Y2,3/Y3,4/Y4,5/Y5,6/Y6,7/Y7,8/Y8],
search(XYs),
:- main.
Oi0gc2V0X3Byb2xvZ19mbGFnKHZlcmJvc2Usc2lsZW50KS4KOi0gcHJvbXB0KF8sICcnKS4KOi0gdXNlX21vZHVsZShsaWJyYXJ5KHJlYWR1dGlsKSkuCgpzZWFyY2goW10pOi0hLgpzZWFyY2goW1gvWXxYWXNdKTotbWVtYmVyKFksWzEsMiwzLDQsNSw2LDcsOF0pLAoJCQkJc2VhcmNoKFhZcyksCgkJCQlub3QoYXR0YWNrcyhYL1ksWFlzKSkuCgphdHRhY2tzKFgvWSxYWXMpOi0KCW1lbWJlcihYMi9ZMixYWXMpLAoJKFkgaXMgWTI7CglZIGlzIFkyK1gtWDI7CglZIGlzIFkyLVgrWDIpLgoJCgptYWluOi0KCXByb2Nlc3MsCgloYWx0LgoKcHJvY2VzczotCgkvKiB5b3VyIGNvZGUgZ29lcyBoZXJlICovCglYWXM9WzEvWTEsMi9ZMiwzL1kzLDQvWTQsNS9ZNSw2L1k2LDcvWTcsOC9ZOF0sCglzZWFyY2goWFlzKSwKCXdyaXRlKFhZcyksCgl0cnVlLgoKOi0gbWFpbi4=
[1/1,2/5,3/8,4/6,5/3,6/7,7/2,8/4]
Warning: /home/9aVHjn/prog:21:
Singleton variables: [Y1,Y2,Y3,Y4,Y5,Y6,Y7,Y8]