8.2. Використання мови Пролог (10 год)

Терми Прологу (дані): константи, перемінні, складені терми (структури). Робота Прологу: зіставлення, пошук у базі знань, механізм повернення. Управління роботою Прологу. Вбудовані предикати.

Композиція графічних зображень. Поняття і приклади граматик. Граматичній розбір. Формули і їх перетворення. Приклади формульних перетворень Приклади розв’язування математичних задач. Організація обчислень в Пролозі.

Учні повинні знати:

• видами даних, з якими працює Пролог;

• поняття змінної на Пролозі;

• поняття механізму зіставлення;

• поняття механізму пошуку;

• поняття механізму повернення;

• принципи роботи предикатів управління пошуком.

Учні повинні вміти:

• розпізнавати терми Прологу;

• проводити ручне трасування запиту до баз даних і баз знань Прологу;

• працювати з предикатами управління.