Проверка функционирования с помощью WDEBUGGER'а - windows-отладчика

Проверка Логической Машины (СУБД Пролог)

На закладке PA в поле ввода набирайте команды и сравнивайте отображаемые результаты.

1. Встроенный предикат true дает успех доказательства:

true?

yes

2. Встроенный предикат false всегда проваливает доказательство:

false?

not

3. Добавление фактов в базу данных и запрос к базе:

a(1).	ok
a(2).	ok
a(X)?	X=1 X=2 yes

4. Добавление процедуры и вызов этой процедуры:

b(X,Y) :- a(X), a(Y).	ok
b(A,B)?	A=1 B=1 A=1 B=2 A=2 B=1 A=2 B=2 yes

5. Запрос с SQL-оператором count - подсчет числа записей в результирующем множестве (или числа вариантов доказательства):

count( b(A,B), C )?

C=4
yes

6. Проверка записей в базе данных Синтаксической Грамматики - она заполняется автоматически при трансляции Словаря (реальное количество классов и координат может быть другим).

sg::count( class(_,_), N_Classes )?	N_Classes=30 yes
sg::count( enum(_,_), N_Enums )?	N_Enums=21 yes
sg::class( Id, "ИНФИНИТИВ" )?	Id=13 yes

изменено 13-Mar-10