Программа «Страны и столицы» позволяет определить столицу по стране и наоборот.

domains
state,city = symbol
 
predicates
capital(state,city) 
 
clauses
capital(russia,moscow).
capital(france,paris).
capital(ukraine,kiev).
capital(belarus,minsk).
 
goal
/* capital(russia,X), write(X, " is a capital of Russia") */ 
capital(X,moscow ), write("Moscow is a capital of  ", X)

Результат выполнения программы:

Moscow is a capital of russia

!!Рекомендуем: Семейная Энциклопедия Здоровья ⇒ Что должен знать современный человек? ⇒ Самоанализ. Работа над собой ⇒ Оглавление ⇒ Главная сайта