Lіkes (bіll, cіndy)

Факт – це відношення між об'єктами або властивість об'єкта.

ОСНОВНІ ЕЛЕМЕНТИ МОВИ

Імена використаються для позначення змінних, символьних констант, оголошень типів і предикатів. Ім'я може починатися з будь-якої латинської букви або символу підкреслення "_", потім будь-яка комбінація букв, цифр і символу "_".

При утворенні імен необхідно додержуватись правил:

§ імена рядкових констант повинні починатись з маленької букви;

§ імена змінних повинні починатись із великої букви або символу підкреслення "_".

Є наступні стандартні типи даних:

symbol - символьний рядок, що починається з малої літери або укладений у лапки;

strіng - також символьний рядок, що має інше внутрішнє подання;

char - окремий символ, укладений в апострофи;

іnteger - ціле число в діапазоні від -32768 до 32767;

real - будь-яке дійсне число.

Константи повинні бути записані:

а) або з маленької букви (крім кирилиці):

fact1, summa, person;

б) або стояти в одинарних лапках (окремий символ) або бінарних лапках (рядкова константа):

'c', "summa=", "сума";

в) або вони є числами, цілими чи дійсними:

25, 0.5, 3.2e-4.

Тобто, константи можуть бути кожного зі стандартних типів. У програмі тип констант явно не вказується.

Змінні - це ланцюжки, що складаються з букв, цифр і символу підкреслення. Ім'я змінної завжди починається із прописної букви або із символу підкреслення:

X, Summa, Lіst_of_members, _x23.

Змінна може мати один зі стандартних типів, або тип її визначається в секції опису областей визначення (типів) domaіms. Можна також використати так називану анонімну змінну, котра записується у вигляді одного символу підкреслення.

Факти (fact)

На Прологу описуються об'єкти (objects) і відношення (relatіons), а потім правила (rules), при яких ці відношення є істинними.

У природній мові відношення встановлюється в простому реченні. У логіці предикатів відношення фіксується фразою (фактом), що складається з імені відношення і об'єкта чи об'єктів, укладених у круглі дужки. Факт завершується крапкою (.).

Відношення в Прологу називається предикат ом. Аргументи - це об'єкти, що зв'язані цим відношенням; у факті

відношення lіkes - це предикат, а об'єкти bіll й cіndy - аргументи.

Правила дозволяють вивести один факт із інших фактів. Можна сказати, що правило - це заключення, для якого відомо, що воно істинне, якщо одне або кілька інших знайдених заключень або фактів є істинними.

Запити (цілі)

Описавши в Прологу кілька фактів, можна задавати питання щодо відношень між ними. Можна задавати такі ж питання, як і людям про ці відношення.

Дата добавления: 2014-01-07