Cтраница 2
В логике отношениям даются имена - предикатные символы, которые выбираются из заданного словаря. Знания об отношениях выражаются тогда предложениями, построенными из предикатов, связок и формул. Каждый п-местный ( или п-арный) предикат образуется из кортежа длины п, перед которым ставится n - местный ( или я-арный) предикатный символ. Предикатом будет, например, удвоить ( 2 4) где удвоить есть 2-местный предикатный символ. Этот предикат читается как высказывание о том, что пара ( 2, 4) принадлежит отношению с именем удвоить. [16]