hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Закон Джонса
Закон Джонса (англ. Jones Law) или Акт Джонса (англ. Jones Act) — название ряда законопроектов США.

Закон Джонса (Филиппины) — закон 1916 года о государственном устройстве Филиппин.

Закон Джонса (Пуэрто-Рико) или Закон Джонса — Шафрота — закон 1917 года о государственном устройстве Пуэрто-Рико и гражданстве пуэрториканцев.

Закон Джонса (1920) или Акт о морской торговле — закон об управлении правами моряков на компенсацию за работу и об использовании иностранных кораблей при внутренней торговле.

Закон Джонса (1929) или Акт об усилении наказаний — закон, ужесточающий наказания за нарушение Сухого закона в США.

Сухой закон в США
«Сухой закон» в США (англ. Prohibition — запрет) — общенациональный запрет на продажу, производство и транспортировку алкоголя, который действовал на федеральном уровне с 1920 по 1933 год. Введён Восемнадцатой поправкой к Конституции США и конкретизирован «законом Волстеда». Владение алкоголем в частной собственности и его потребление федеральным законом не ограничивалось. Запрет алкоголя вызвал самый большой рост организованной преступности в американской истории. Запрет на алкоголь был отменён с ратификацией Двадцать первой поправки 5 декабря 1933 года.
Лесковы
Лесковы — старинный русский дворянский род, восходящий к XVII веку.

История дворянского рода этой фамилии берёт своё начало от родоначальника — Семёна Семёновича Лескова, который, в 1626 году, владел населённым имением в Белозерском уезде на Новгородской земле. Род Лесковых был внесён Губернским дворянским депутатским собранием в VI часть дворянской родословной книги Новгородской губернии Российской империи и был утверждён Герольдией Правительствующего Сената в древнем (столбовом) дворянстве.

Дворянское собрание
Дворянское собрание, или Благородное собрание, — орган дворянского самоуправления в Российской империи, существовавший с 1766 по 1917 год. Дворянские собрания действовали как на губернском, так и на уездном уровнях.

Подобные собрания начали создаваться в уездах и губерниях с 1766 года. Однако лишь «Учреждение для управления губерниями» и «Жалованная грамота дворянству» 1785 года законодательно определили порядок функционирования дворянских собраний.
Стрии (Брестская область)
Стри́и (бел. Стрыі) — деревня в Кобринском районе Брестской области Белоруссии. Входит в состав Буховичского сельсовета.

По данным на 1 января 2016 года население составило 158 человек в 59 домохозяйствах.

В деревне ранее располагался магазин и отделение местной библиотеки, которые на данный момент не функционируют. В деревне постоянно проживают представители таких национальных меньшинств как цыгане, татары, узбеки, украинцы.

Деревня расположена в 16 км к северо-востоку от города и станции Кобрин и 60 км к востоку от Бреста.

На 2012 год площадь населённого пункта составила 0,9 км² (90 га).

Кобринский район
Ко́бринский райо́н (бел. Кобрынскі раён) — административно-территориальная единица (район) на юго-востоке Брестской области Беларуси. Площадь — 2041,24 км², численность населения — 81 116 человек (на 1 января 2025 года). Административный центр — город Кобрин.
Открытый чемпионат Австралии по теннису 2019 в мужском парном разряде
Открытый чемпионат Австралии по теннису 2019 в мужском парном разряде (англ. Australian Open 2019 Men’s Doubles) — соревнование среди мужских пар в рамках Открытого чемпионата Австралии по теннису в 2019 году.

Сетка рассчитана на 64 пары (128 участников).

Победителями прошлогоднего (2018 года) турнира стали  Оливер Марах и  Мате Павич.

Павич, Мате
Мате Павич (хорв. Mate Pavić; род. 4 июля 1993, Сплит, Хорватия) — хорватский теннисист; один из шести мужчин в истории, собравших карьерный «Золотой шлем» в парном разряде (победа на всех турнирах Большого шлема и олимпийское золото); первая ракетка мира в парном разряде.

Олимпийский чемпион 2020 года в мужском парном разряде (с Николой Мектичем); победитель семи турниров Большого шлема (четыре в мужском парном разряде и три в миксте); финалист шести турниров Большого шлема (четыре в парном разряде и два в миксте); дважды финалист Итогового турнира ATP в парном разряде (2022, 2024); победитель 42 турниров ATP в парном разряде; обладатель Кубка Дэвиса (2018) и финалист (2021) в составе сборной Хорватии.

Победитель одного юниорского турнира Большого шлема в парном разряде (Уимблдон-2011); бывшая пятая ракетка мира в юниорском рейтинге ITF.
Гуарани (язык)
Гуарани́ (самоназвание — avañe’ẽ «язык людей») — индейский язык народов гуарани, распространённый в ряде стран Южной Америки, преимущественно в Парагвае. Один из двух (наряду с испанским) официальных языков Парагвая, а также один из 37 официальных языков Боливии. Помимо этого, обладает статусом официального языка в провинциях Мисьонес и Корриентес в Аргентине.

Гуарани принадлежит к ветви тупи-гуарани языковой семьи тупи.

На парагвайском гуарани говорят до 90% некоренного населения Парагвая, что примечательно для языка коренного населения обеих Америк — такого в этих частях света нет больше нигде. В 2020 г. было около 6,5 млн говорящих на этом языке.

Первая грамматика и словарь (исп. Tesoro de la lengua guaraní «Сокровища языка гуарани») были изданы в 1639 году иезуитом Антонио Руисом де Монтоя.

Монтойя, Антонио Руис де
Антонио Руис де Монтойя (исп. Antonio Ruiz de Montoya; 13 июня 1585, Лима, Вице-королевство Перу, Испанская империя — 11 апреля 1652, Лима) — перуанский монах, миссионер-иезуит у индейцев гуарани в Парагвае.
Северный Англет
Се́верный Англе́т (фр. Anglet-Nord) — упразднённый французский кантон, находился в регионе Аквитания, департамент Атлантические Пиренеи. Входил в состав округа Байонна.

Код INSEE кантона — 6442. В состав кантона Северный Англет входила часть коммуны Англет.

Байонна (округ)
Байонна (фр. Bayonne) — округ (фр. Arrondissement) во Франции, один из округов в регионе Аквитания (историческая область Франции). Департамент округа — Пиренеи Атлантические. Супрефектура — Байонна.
Население округа на 2006 год составляло 266 312 человек. Плотность населения составляет 117 чел./км². Площадь округа составляет всего 2270 км².
Боццо, Лаура
Лаура Сесилия Боццо Ротондо (исп. Laura Cecilia Bozzo Rotondo, род. 19 августа 1951, Кальяо) — перуанская телеведущая, наиболее известная своим испаноязычным ток-шоу «Лаура», которое транслировалось в США на телеканале Univision.

Боццо также вела другие ток-шоу под своим именем, в том числе «Laura en América», в период с 1990-х по начало 2000-х годов. Её ток-шоу сравнивают с шоу Джерри Спрингера из-за регулярно происходящих в них драк, а также из-за деликатных тем, которые они затрагивают. В 2008 году разразился скандал, когда перуанская пресса, во главе с такими влиятельными фигурами, как Хайме Байли, обнаружила, что некоторые из шоу, организованных Боццо, были постановочными.

Televisa
«Гру́по Телеви́са» (исп. Grupo Televisa) — мексиканская телекоммуникационная компания, оператор кабельного и спутникового телевидения. В прошлом была медиаконгломератом, владевшим телестанциями и произвоизводившим телепрограммы, в частности, теленовеллы.
Валенца Градениго перед инквизицией
«Валенца Градениго перед инквизицией» (итал. Valenza Gradenigo davanti agli Inquisitori) — картина в стиле романтизма итальянского художника Франческо Айеца.

На полотне представлен сюжет анонимного франкоязычного романа «Фоскарини, или венецианский патриций» (Foscarini: ou, Le Patricien de Venise) об истории Венецианской республики, являющегося переработкой пьесы Джованни Баттиста Никколини «Антонио Фоскарини». Согласно сюжету романа, Валенца Градениго, виновная в попытке спасти своего возлюбленного, сенатора Антонио Фоскарини, осуждённого за измену, предстаёт перед венецианскими инквизиторами, одним из которых является её отец. Казнь Антонио Фоскарини по обвинению в государственной измене действительно состоялась в 1622 году, однако личность Валенцы Градениго — художественный вымысел автора романа.

Полотно написано в 1835 году и представляет собой живопись маслом на холсте размером 96×115,5 см. В настоящее время хранится в Галерее на площади Скала в Милане.

Никколини, Джованни Баттиста
Джованни Баттиста (Джанбаттиста) Николлини (итал. Giovanni Battista Niccolini; 29 октября 1782 — 20 сентября 1861, Флоренция) — итальянский поэт, драматург.

Первые трагедии написаны в классицистской форме, к которой позднее был добавлен романтический пафос.
Вайли, Таррелл
Та́ррел Верл Ва́йли, также Э́ллвин Та́ррел Уа́йли (англ. Turrell Verl Wylie, Ellwyn Turrell Wylie; 20 августа 1927, Дуранго, Колорадо — 25 августа 1984, Сиэтл, Вашингтон) — американский учёный-тибетолог, профессор тибетского языка в Вашингтонском университете и первый председатель факультета Языков и литературы Азии. Основал первую в истории США программу тибетских исследований.

Наиболее известен как создатель системы транслитерации тибетского алфавита с помощью символов латинского алфавита, которую он описал в своей статье Стандартная система тибетской транскрипции (A Standard System of Tibetan Transcription, 1959). Предложенная Вайли система стала почти повсеместно принятой схемой и известна как транслитерация Вайли (Wylie transliteration).

Латинский алфавит
Латинский алфавит состоит из букв, первоначально использовавшихся древними римлянами для записи латинского языка. В практически неизменном виде (два разделения — ⟨J⟩ от ⟨I⟩ и ⟨U⟩ от ⟨V⟩ — добавление — (⟨W⟩) — и расширения, такие как буквы с диакритическими знаками) он образует латинскую письменность, используемую для записи многих языков по всему миру: в Западной и Центральной Европе, в Африке, в Америке и в Океании. Это наиболее распространенная система письма в мире, используемая более чем в 3000 языках, что составляет около 70% населения планеты.

Его базовый современный 26-буквенный алфавит стандартизирован как базовый латинский алфавит ISO.
Стенворд (Нор)
Стенворд (фр. Steenvoorde) — упраздненный кантон во Франции, регион Нор — Па-де-Кале, департамент Нор. Входил в состав округа Дюнкерк.

В состав кантона входили коммуны (население по данным Национального института статистики за 2011 г.):

Бешеп (2193 чел.)

Виннезель (1215 чел.)

Годеверсвельд (2026 чел.)

Сен-Сильвестр-Каппель (1082 чел.)

Стенворд (4071 чел.)

Тердегем (567 чел.)

Удезель (665 чел.)

Уткерк (997 чел.)

Эек (1 166 чел.)

Нор (департамент)
Нор (фр. Nord, буквально — «север») — департамент на севере Франции, один из департаментов региона О-де-Франс. Порядковый номер — 59. Административный центр — Лилль. В южной части департамента Нор используется пикардийский диалект французского языка, называемый «ш’ти» (фр. le ch'ti).
Филимон
Свято́й апо́стол Филимо́н (греч. Φιλήμων) Колосский — апостол от семидесяти, адресат послания к Филимону, богатый и знатный житель города Колоссы, или Хоны (Филим. I). Жил вместе с супругой Апфией и семейством, к которому принадлежал Архипп (вероятно их сын). К христианству обращён был епископом города Колоссы Епафрасом или, вернее, самим апостолом Павлом во время пребывания его в Колоссах, или Ефесе.

Московский печатный двор
Моско́вский печа́тный двор — первая и долгое время единственная в России типография, объект культурного наследия федерального значения. Основана при Иване Грозном в 1553 году. Традиционно располагалась в Китай-городе на Никольской улице, по соседству с Николо-Греческим монастырём. С 1931-го в строениях типографии находится Историко-архивный институт (РГГУ).
Олимпиада (жена Деметрия Красивого)
Олимпиада (др.-греч. Ὀλυμπιάς) — фессалийка, первая супруга Деметрия Красивого.

По свидетельству Евсевия Кесарийского, Олимпиада, дочь Поликлета из Ларисы, стала женой Деметрия Красивого. У них родились Антигон, будущий царь Македонии, и Эхекрат.

Евсевий Кесарийский
Евсе́вий Кесари́йский (греч. Εὐσέβιος τῆς Καισαρείας), или Евсе́вий Памфи́л (греч. Εὐσέβιος τοῦ Παμφίλου; ок. между 260 и 270 — 339/340) — греческий церковный историк, богослов, «отец церковной истории», друг императора Константина, с 314 года епископ Кесарии Палестинской. Написал самый древний сохранившийся труд по истории церкви. До создания его «Церковной истории» сочинение на подобную тему составил во II веке Егесипп, но от него сохранилось только название.
Бурмистров, Иван
Иван Бурмистров:

Бурмистров, Иван Алексеевич (1903—1962) — подводник, Герой Советского Союза.

Бурмистров, Иван Иванович (1923—1943) — участник Великой Отечественной войны, снайпер-инструктор.

Бурмистров, Иван Николаевич (1920—2006) — связист, Герой Советского Союза.

Бурмистров, Иван Степанович (1896—1961) — советский конструктор-артиллерист, дважды лауреат Сталинской премии.

Бурмистров, Иван Николаевич
Иван Николаевич Бурмистров (24 февраля 1920, Норовка, Симбирская губерния — 10 сентября 2006, Ульяновск) — гвардии красноармеец Рабоче-крестьянской Красной Армии, участник Великой Отечественной войны, Герой Советского Союза (26.10.1943).
Лисаний (тетрарх Итуреи)
Лисаний (др.-греч. Λυσανίας; лат. Lysanias; ум. ок. 36 до н. э.) — сирийский династ арабского или арамейского происхождения, тетрарх Итуреи и Халкиды.

Сын Птолемея Халкидского, был утвержден Марком Антонием в качестве правителя Итуреи. По сообщению Иосифа Флавия, ок. 40 до н. э., во время парфянской оккупации Сирии, Лисаний убедил царевича Пакора и сатрапа Барзафарна низложить правившего Иудеей Гиркана II, и возвести на трон Антигона, своего родственника, пообещав за это тысячу талантов и 500 наложниц. В другом своем сочинении Иосиф пишет, что Антигон, союзник Лисания, сам пообещал парфянам указанные дары (и обещания впоследствии не сдержал).

В ходе подготовки Парфянского похода Клеопатра, имевшая виды на владения Лисания, убедила Антония предать итурейского тетрарха смерти по обвинению в предательских сношениях с парфянами. Владения Лисания были то ли куплены, то ли арендованы (у Клеопатры?) Зенодором.

Возможно, его внуком был Лисаний, тетрарх Абилены.

Арамеи
Араме́и, араме́йцы (ивр. אֲרַמִּים‎ ʾĂrammîm, сир. ܐܪ̈ܡܝܐ ārāmāyē [ʔɑːrɑːˈmɑːje], др.-греч. Ἀραμαῖοι Aramaíoi) — семитские народы, населявшие до арабского завоевания территорию Сирии и Ирака.

Предком арамеев в библейской традиции считается сын Сима Арам.

Впервые упоминаются в середине III тысячелетия до н. э.; в XIV веке до н. э. кочевые племена арамеев расселились в Сирийской пустыне, проникая оттуда на средний Евфрат; на рубеже XII—XI веков до н. э. наводнили почти всю Переднюю Азию. В ряде мест (например, к востоку от реки Иордан) арамеи превратились в оседлое население.

Арамейский язык к началу нашей эры стал основным разговорным языком Передней Азии.

Потомками арамеев считаются современные сирийцы, поскольку Страбон называет сирийцев греческим именем арамеев.

Ныне живущие арамеи — это, в основном, христиане Западно-сирийского обряда (главным образом марониты). Проживают в Ливане, Сирии, Турции и Израиле.
Холцер, Драган
Драган Холцер (серб. Драган Холцер; 19 января 1945 года, Бад-Готлойба-Берггисхюбель — 23 сентября 2015 года, Сплит) — югославский футболист, защитник.

Родился в нацистском тюремном лагере в Словении. Отец Драгана Франц Холцер воевал во Второй мировой войне на стороне югославских партизан. и был убит в бою. Вскоре после окончания войны мать увезла семью в свой родной город Ниш в Сербии, где Холцер и вырос.

За сборную Югославии провёл 52 матча, был в составе сборной на Евро-1968, включая финальный матч турнира, где югославы и уступили.

Холцер, который считался легендой футбольного клуба Хайдук Сплит, умер в Сплите 23 сентября 2015 года на 71 году жизни.

Тюрьма
Тюрьма́ (по разным версиям, от нем. turm, или от др.-тюрк. *türmä — «темница», тат. törmä, алт. türmö, кирг. türmö) — пенитенциарное (исправительное) учреждение, место, где люди содержатся в заключении и, как правило, лишены целого ряда личных свобод. Тюрьмы обычно являются частью системы уголовного правосудия, а лишение свободы путём заключения в тюрьме — юридическое наказание, которое может быть наложено государством за совершение преступления. «Тюрьмой» также часто называют учреждение, где подозреваемые и обвиняемые в совершении преступлений содержатся под стражей до суда. В большинстве случаев в разговорной русской речи под «тюрьмой» понимается любое учреждение для исполнения уголовных наказаний или для предварительного заключения (исправительная колония, следственный изолятор, изолятор временного содержания и другие).
Историография донского казачества
Историография донского казачества - донское казачество представляет собой этнографический феномен, охватывающий близкородственное по хозяйственным и культурным традициям и говору население Области Войска Донского, которая исторически занимает часть современных Луганской и Донецкой народных республик, а также Ростовской, Волгоградской, Воронежской областей и республики Калмыкия Российской Федерации. Историческое название связано с рекой Дон (бассейн Азовского моря)

Область Войска Донского
Земля войска Донского (1786—1870), с 1870 года Область Во́йска Донско́го (ОВД) — автономная административно-территориальная единица Российской империи, населённая в значительной мере донскими казаками и управлявшаяся по особому положению. На 1897 год в области проживало около 2 500 000 жителей, из них 320 000 — в городах.

После революционных преобразований в России в феврале-ноябре 1917 года в среде донских казаков произошёл раскол. Сторонники «красной» советской власти провозгласили на этой территории в 1918 году создание Донской советской республики, а сторонники «белого» движения в том же году провозгласили создание своей Донской республики (Всевеликого войска Донского).

В дальнейшем как самостоятельная территория область проживания донских казаков существовала до 1920 года, после чего установившейся новой советской властью была разделена и передана в состав УССР и РСФСР.
Хантер, Иэн (актёр)
Иэн Хантер (англ. Ian Hunter; 13 июня 1900 — 22 сентября 1975) — английский характерный актёр.

Среди его десятков ролей в кино наиболее запомнились: «Это одна женщина» (1937) с Бетт Дейвис, «Приключения Робин Гуда» (1938, в роли короля Ричарда Львиное Сердце), «The Little Princess» (1939, капитан Реджинальд Кру) и «Доктор Джекилл и мистер Хайд» (1941, в роли доктора Lanyon). Хантер вернулся к легенде о Робин Гуде в 1955 году в сериале «Приключения Робин Гуда» (сэр Ричард).

Дейвис, Бетт
Бетт Де́йвис (англ. Bette Davis), полное имя Рут Эли́забет Де́йвис (англ. Ruth Elizabeth Davis; 5 апреля 1908, Лоуэлл, Массачусетс, США — 6 октября 1989, Нёйи-сюр-Сен, Франция) — американская актриса. В 1999 году Американский институт кино поставил Бетт Дейвис на второе место в списке величайших актрис в истории Голливуда. Первый человек в истории мирового кинематографа, номинированный на 10 «Оскаров».
Апшерон (гостиница)
Апшерон (азерб. Abşeron) — гостиница в столице Азербайджана, в городе Баку, описывающаяся как «впечатляющий отель».

Его двадцатиэтажное здание располагает 243 номерами (на 9, 11, 12 и 14-м этажах гостиницы имеются одноместные и двухместные номера, а также номера-люксы). Находится под руководством компании JW Marriott.

Гостиница расположена на площади Свободы, недалеко от Приморского бульвара.

Гостиница
Гости́ница, оте́ль (от фр. hôtel) — здание для временного проживания. Гостиницы подразделяются на различные классы в соответствии с предоставляемыми услугами и оборудованием номеров. Историческое название недорогой гостиницы в России — постоялый двор.
Бабичи (Чечерский район)
Бабичи (бел. Бабічы) — деревня в Нисимковичском сельсовете Чечерского района Гомельской области Беларуси.

На северо-востоке и юго-западе граничит с лесом. На севере от деревни расположено Колоднянское месторождение мела (1,56 млн т).

Ветряная мельница
Ветряная мельница (ветряк) — аэродинамический механизм, выполняющий механическую работу за счёт энергии ветра, улавливаемой крыльями. Наиболее известным её назначением является помол муки.

На протяжении долгого времени ветряные мельницы, наряду с водяными, были единственными машинами, которые использовало человечество. Поэтому применение этих механизмов было различным: в качестве мукомольной мельницы, для обработки материалов (лесопилка) и в качестве насосной или водоподъёмной станции.

«Классическая» ветряная мельница с горизонтальным ротором и удлинёнными четырёхугольными крыльями — широко распространённый элемент пейзажа в Европе, в частности, в ветреных равнинных северных регионах и на побережье Средиземного моря. Для Азии характерны другие конструкции с вертикальным размещением ротора.

С развитием в XIX веке паровых машин мельницы постепенно вышли из употребления.
Брауна (Сан-Паулу)
Брауна (порт. Braúna)  —  муниципалитет в Бразилии, входит в штат Сан-Паулу. Составная часть мезорегиона Арасатуба. Входит в экономико-статистический микрорегион Биригуи. Население составляет 4 471 человек на 2006 год. Занимает площадь 195,176 км². Плотность населения — 22,9 чел./км².

Арасатуба (мезорегион)
Арасатуба (порт. Mesorregião de Araçatuba) — административно-статистический мезорегион в Бразилии, входит в штат Сан-Паулу. Население составляет 695 801 человек (на 2010 год). Площадь — 16 761,383 км². Плотность населения — 41,51 чел./км².
AEGON Trophy 2013
AEGON Trophy 2013 — пятый розыгрыш ежегодного профессионального международного теннисного турнир, проводимый ITF в рамках своего женского тура и ATP в рамках своего тура Challenger в Ноттингеме, Великобритания. Соревнования прошли с 3 по 9 июня.

Прошлогодние чемпионы:

Мужской одиночный разряд:  Беньямин Беккер

Женский одиночный разряд:  Урсула Радваньская

Мужской парный разряд:  Трет Конрад Хьюи /  Доминик Инглот

Женский парный разряд:  Элени Данилиду /  Кейси Деллакква

Данилиду, Элени
Эле́ни Данили́ду (греч. Ελένη Δανιηλίδου; род. 19 сентября 1982 года, Ханья, Греция) — греческая теннисистка; финалистка одного турнира Большого шлема в миксте (Открытого чемпионата Австралии-2003); полуфиналистка одного турнира Большого шлема в парном разряде (Открытого чемпионата Франции-2006); победительница восьми турниров WTA (из них пять в одиночном разряде); победительница одного юниорского турнира Большого шлема в парном разряде (Открытого чемпионата Австралии-1999); полуфиналистка одного юниорского турнира Большого шлема в одиночном разряде (Открытого чемпионата США-1999).
Modus ponens
Modus ponens («правило вывода»): если  и  — выводимые формулы, то  также выводима.

Форма записи: , где  — любые формулы.

Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания  и утверждения его основания  (антецедента) перейти к утверждению следствия  (консеквента). Например, если нечто является металлом, то оно проводит ток (), цинк является металлом (), значит, цинк проводит ток (). Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из  следует , и  — истинно, то  может быть как истинно, так и ложно.

Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.

Правило резолюций
Пра́вило резолю́ций — это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике первого порядка. Правило резолюций, применяемое последовательно для списка резольвент, позволяет ответить на вопрос, существует ли в исходном множестве логических выражений противоречие. Правило резолюций предложено в 1930 году в докторской диссертации Жака Эрбрана для доказательства теорем в формальных системах первого порядка. Правило разработано Джоном Аланом Робинсоном в 1965 году.

Алгоритмы доказательства выводимости , построенные на основе этого метода, применяются во многих системах искусственного интеллекта, а также являются фундаментом, на котором построен язык логического программирования «Пролог».