Решение задачи - Prolog (226476)

Формулировка задачи:

Помогите записать Краснодар - столица краснодарского края. Население Краснодара 1 млн. Краснодарский край граничит с Ростовской областью и Ставропольским краем. Столица ростовской области - город Ростов-на-Дону с населением 1.5 млн. В ростовской области находится город Таганрог с населением 250 тыс. Река Кубань протекает по Краснодарскому краю и Ростовской области.

Решение задачи: «Решение задачи»

Листинг программы

столица("Краснодарский край", "Краснодар"). 
население("Краснодар", 1.0). 
граничит("Краснодарский край", "Ростовская область").
граничит("Краснодарский край", "Ставропольский край").
столица("Ростовская область", "Ростов-на-Дону").
население("Ростов-на-Дону", 1.5).

Объяснение кода листинга программы

Столица(Краснодарский край, Краснодар) - данная строка кода указывает, что столицей Краснодарского края является город Краснодар.
Население(Краснодар, 1.0) - эта строка кода указывает, что население Краснодара составляет 1.0 (1000) человек.
Граничит(Краснодарский край, Ростовская область) - эта строка кода указывает, что Краснодарский край граничит с Ростовской областью.
Граничит(Краснодарский край, Ставропольский край) - эта строка кода указывает, что Краснодарский край граничит со Ставропольским краем.
Столица(Ростовская область, Ростов-на-Дону) - данная строка кода указывает, что столицей Ростовской области является город Ростов-на-Дону.
Население(Ростов-на-Дону, 1.5) - эта строка кода указывает, что население Ростова-на-Дону составляет 1.5 (1500) человек.