шення2 (Спісок_Унікальних_Решеній): -
(Спісок_Решеній, Спісок_Унікальних_Решеній).
решілі_вместе (Решенія1, Решенія2, "так"): - рішення1 (Решенія1), колічество_елементов (Решенія1, 1),
решілі_вместе (Решенія1, Решенія2, "ні"): -
підсумок (Шпигун): -
одін_із (Рішення, ІтоговиеРешенія), Рішення = вердикт (Шпигун, _).
унікальний_ітог (Шпигун): - findall (Персонаж, підсумок (Персонаж), Спісок_Решеній), вибрать_унікальние
(Спісок_Решеній, Спісок_Унікальних_Решеній), одін_із (Шпигун, Спісок_Унікальних_Решеній).
GOAL
унікальний_ітог (Шпигун).
Висновок
За допомогою мови логічного програмування Пролог можливо реалізувати будь експертні системи, вирішити будь-які головоломки та шаради. Він чудово підходить для програмування логічних ігор і багато чого іншого, в тому числі робилися спроби створення штучного інтелекту на базі мови Пролог, тому що він чудово працює з базою знань і найбільш схожий з роботою логіки людини. br/>
