Constrain предикаты - Prolog
Формулировка задачи:
Здравствуйте. Мне попалось задание, где из готовой программы нужно выписать constrain предикаты. Пытался гуглить но ничего не нашел. Может кто-нибудь посоветовать книгу или интернет источник где можно найти эти предикаты ? Ну или может кто-нибудь знает такие предикаты ?
Решение задачи: «Constrain предикаты»
textual
Листинг программы
% List - это список из N элементов make_list(N,List), % прописывается домен для List List in 1..N, % налагаются ограничения constrain_queens(List), % labeling - он и есть labeling labeling_ff(List),