Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3671776 Wed, 25 May 2016 15:20:25 +0000 Что означает знак ! в турбо прологе? https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3671776
    брат(A,B):-женщина(А),!,fail.
    брат(A,B):-родитель(C,B), родитель(C,A), not(A is B).
В таком коде Пролог вначале проверит, верно ли "женщина(A)", в этом случае А не может быть братом В, поэтому для данного А выполняется возврат значения "ложь", без проверки на наличие родителя С. Отсечение заставляет рекурсивный решатель Пролога прекратить рассматривать последующие условия текущего предиката (здесь "брат"). Более подробное описание отсечения ТУТ.]]> Vesper Prolog https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3602316 Fri, 22 May 2015 19:25:34 +0000 Что означает знак ! в турбо прологе? https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3602316
К примеру у тебя есть предикат, определяющий отношение родитель-ребёнок, и пара предикатов, определяющих пол. Как определить новый предикат 'брат'?

' A является братом B (забыл уже, как комментарии в прологе пишутся)
брат(A,B) :- родитель(C,B), родитель(C,A), !A is B, мужчина(A)]]> amk Prolog https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3602267 Fri, 22 May 2015 16:36:01 +0000 Что означает знак ! в турбо прологе? https://forum.sources.ru/index.php?showtopic=402453&view=findpost&p=3602267 MahovIV Prolog