Синтаксис логики предикатов

Сентябрь 7, 2022

Главная
Алгебра
Синтаксис логики предикатов

Содержание

3. :- если «Кассир и администратор являются людьми одного пола». zanjat(X,Y,Z):- persona(X,Z), profession(Y), … . uslovie_polov(X1,Y1,Z1,X2,Y2,Z2):- zanjat(X1,Y1,Z1),
4. profession(administrator). profession(vrach). persona(Who, muzh). Whо = vasin. Whо = volgin. Whо = bokov. 3 Solutions.
5. likes(лена, чтение). likes(иван, компьютеры). likes(илья, баскетбол). likes(леонид, баскетбол). likes(юра, плавание). likes(юра, чтение). likes(Person,чтение), likes(Person,плавание). Person =
6. persona(golubeva, zhen). persona(shuhova, zhen). persona(vasin, muzh). persona(volgin, muzh). persona(bokov,muzh). persona(Who,_). Who = golubeva Who = shuhova
8. Скачать презентацию

Слайд 2

Слайд 3

:- если
«Кассир и администратор являются людьми одного пола».
zanjat(X,Y,Z):-
persona(X,Z), profession(Y), …

.
uslovie_polov(X1,Y1,Z1,X2,Y2,Z2):-
zanjat(X1,Y1,Z1), zanjat(X2,Y2,Z2),
Y1= kassir, Y2= administrator, Z1=Z2.
uslovie_polov(X1,Y1,Z1,X2,Y2,Z2):-
zanjat(X1,Y1,Z1), zanjat(X2,Y2,Z2),
Y1= administrator, Y2= kassir, Z1=Z2.

Слайд 4

profession(administrator).
profession(vrach).
persona(Who, muzh).
Whо = vasin.
Whо = volgin.
Whо = bokov.
3 Solutions.

Слайд 5

likes(лена, чтение).
likes(иван, компьютеры).
likes(илья, баскетбол).
likes(леонид, баскетбол).
likes(юра, плавание).
likes(юра, чтение).
likes(Person,чтение), likes(Person,плавание).
Person = юра
1 Solutions.
likes(маша,

плавание).
likes(маша, чтение).

Слайд 6

persona(golubeva, zhen).
persona(shuhova, zhen).
persona(vasin, muzh).
persona(volgin, muzh).
persona(bokov,muzh).
persona(Who,_).
Who = golubeva
Who = shuhova
Who =

vasin
Who = volgin
Who = bokov
5 Solutions.
есть(_,нос). пить(_).
«У каждого есть нос». «Все пьют».