avtobus(tavrija, 80000, 6, white, 8000).
avtobus(volvo, 50000, 5, yellow, 20000).
Загрузимо і запустимо цю програму, задавши ціль:
Goal:
mashyna(Marka,Probig,Years_on_road,Kuzov,28000.
пробуємо знайти автомобіль, вартість якого становить рівно
28000. Пролог-система видасть одне рішення - tavrija. Але
такий запит не природній. В житті ми будуємо питання іншим
чином. Чи існує в продажі автомобіль, вартість якого менша за
28000? Таке питання можна реалізувати наступним складним
запитом:
mashyna(Marka,Probig,Roky_na_dorozi,Kuzov,Tsina
)and Tsina < 28000.
Якщо ж ми хочемо реалізувати в Пролозі питання
наступного типу:
чи існує в продажі автомобіль або автобус, вартість яких
менша 28000? Тоді ми повинні використовувати складну ціль:
mashyna(Marka,Probig,Roky_na_dorozi,Kuzov,
Tsina)and Tsina < 28000 or
avtobus(Marka,Probig,Roky_na_dorozi,Kuzov,
Tsina)and Tsina < 28000.
Висновки
1.Програма Прологу складається із фраз. Фрази бувають
двох типів: факти та правила.
* Факти - це відношення або властивість, про вірність яких
програміст попередньо знає.
* Правила - це залежні відношення. Вони дозволяють
Прологу отримувати деяку інформацію із іншої.
2.Факти мають загальну форму:
property(obj,obj
1
,...obj
n
) або ж
relation(obj,obj
1
,...obj
n
) , де property виражає
властивість об`єктів, а relation - відношення між об`єктами.
29