Constrain предикаты - Prolog

Формулировка задачи:

Здравствуйте. Мне попалось задание, где из готовой программы нужно выписать constrain предикаты. Пытался гуглить но ничего не нашел. Может кто-нибудь посоветовать книгу или интернет источник где можно найти эти предикаты ? Ну или может кто-нибудь знает такие предикаты ?

Решение задачи: «Constrain предикаты»

textual
                            Листинг программы 
                        

                                
    % List - это список из N  элементов
    make_list(N,List),
    % прописывается домен для List
    List in 1..N,
    % налагаются ограничения
    constrain_queens(List),
    % labeling - он и есть labeling
    labeling_ff(List),
                        