готов лаби 4 курс 1 сим / ЛП / L1_Ya

Міністерство освіти і науки України

Кіровоградський національний технічний університет

Механіко-технологічний факультет

Кафедра програмного забезпечення

Дисципліна: «Логічне програмування»

Лабораторна робота №1

на тему:

«Елементарні програми на мові програмування Turbo Prolog»

Виконав:

ст. групи КІ-07-3

Цвєтков Є. В.

Кіровоград 2010

Лабораторна робота № 1.

Тема: “Елементарні програми на мові програмування Turbo Prolog”.

Мета: Розглянути структуру елементарних програм на мові програмування Turbo Prolog та оволодіти основними навичками роботи в середовищі Turbo Prolog.

Завдання:

Якщо людина – студент, то вона має право на фінансову підтримку держави (предикат, що описує право, може бути любим поєднанням рядкових латинських літер).

Задати запитання типу:

1. Ви (прізвище) – студент?

2. Які прізвища студентів?

3. Чи маєте ви (прізвище) право на підтримку держави?

4. Чи має право на фінансову підтримку держави Джорж Буш?

domains

s=symbol

predicates

stydent(s)

stipend(s)

president(s)

clauses

stydent("Tswetkov").

stydent("Vovka").

stydent("Simonik").

stydent("Sementsov").

stydent("Sergeeva").

president("Bush").

president("Yanykovich").

stipend(X):-stydent(X).

Контрольні питання:

1. Які розділи програми на мові Turbo Prolog ви знаєте?

В мові Turbo Prolog існують такі розділи:

domains

<структури і типи даних>

[global domains]

<зовнішні структури і типи даних>

[data base]

<глобальні предикати динамічної бази даних>

predicates

<визначення предикатів>

[global predicates]

<зовнішні предикати>

clauses

<факти і правила>

[goal]

<цілі>

2. Як записуються константи та змінні на мові Turbo Prolog?

Константи записуються з маленької букви або в лапках, а змінні з великої букви.

3. Синтаксис фактів і правил на мові Turbo Prolog?

Кожен факт і правило треба закінчувати крапкою. Правило складається з заголовка і правила. Допустимі наступні логічні операції: :- - означає if, , - означает and, ; - означает or.