Решение логической задачи на языке Prolog

Prolog язык программирование логический.Факты в языке Пролог описываются логическими предикатами с конкретными значениями.Начало истории языка относится к 1970-м годам.Смог ли адвокат решить после этого задачу, неизвестно.Разве такую задачу можно решить?(Список_Решений,Список_Уникальных_Решений) , один_из (Шпион,Список_Уникальных_Решений) .Решение2 (Решения2) ,количество_элементов (Решения2,1) .Решение2 (Решения2) ,количество_элементов (Решения2,К2) ,not (К2=1) .Один_из (Решение,ИтоговыеРешения) ,Решение = вердикт (Шпион,_) .Nondeterm решение1 (список_вердиктов).