Пример на языке Prolog - family.pro
/* Adapted from sample at: <http://www.engin.umd.umich.edu/CIS/course.des/cis479/prolog/>
This app can answer questions about sisterhood & love, e.g. (Это приложение может ответить на вопросы о родственных отношениях и любви, например): # Is alice a sister of harry? # (Алиса - сестра Гарри?) ?-sisterof( alice, harry ) # Which of alice' sisters love wine? # (Кому из сестер Алисы нравится вино?) ?-sisterof( X, alice ), love( X, wine) */ sisterof( X, Y ) :- parents( X, M, F ), female( X ), parents( Y, M, F ). parents( edward, victoria, albert ). parents( harry, victoria, albert ). parents( alice, victoria, albert ). female( alice ). loves( harry, wine ). loves( alice, wine ).
Не совсем идентично, но схоже по духу объявление грамматики EBNF (Extended Backus-Naur Form, Расширенная форма Бэкуса-Наура). Вы могли бы записать несколько следующих объявлений:
