Работа с Exxlog

Работа с системой Exxlog

Вся нужная информация изложена в справке к программе. Здесь будем рассматривать все аспекты применения системы Exxlog более подробно.
Инструментальная система Exxlog создает Ваше приложение в виде exe-файла с фиксированным именем cgtfn.exe, которое Вы можете поменять произвольным образом после завершения отладки.
Для создания приложения нам нужен текстовый файл на языке Exxlog (Expl — в старых версиях). Этот файл должен содержать описание БЗ создаваемого приложения.
Для начала нужно скачать дистрибутив и записать его в корневой каталог диска. Дистрибутив состоит из двух папок — системного и пользовательского назначения. Системная папка bin содержит все рабочие программы, а пользовательская папка в дистрибутиве имеет название ExxTri1. В ней создаются все прикладные программы Вашего проекта. После завершения разработки очередной версии Вашего приложения, папку проекта можно переносить в произвольное место и переименовывать.
Для начала запустим пример из дистрибутива. Он предназначен для решения одного узкого класса задач из планиметрии — на вычисление длин треугольников или доказательства равенства треугольников.
Сначала надо открыть проект — нажимаем нужную кнопку и выбираем файл ExxTri.exx.
Теперь можно запустить задачу. Меню «задача», «открыть» — выбираем файл с расширением ”tsk”, например, Tri7.tsk. Открывается текст
% 10 height
% Tri7
s(1,exist(d,tri(a,b,c))).
s(2,height(seg(b,d),tri(a,b,c))).
s(3,height(seg(d,e),tri(c,d,b))).
s(4,height(seg(e,f),tri(d,e,c))).
s(5,height(seg(h,g),tri(d,h,e))).
s(6,height(seg(e,h),tri(b,e,d))).
s(7,height(seg(h,i),tri(b,h,e))).
s(8,height(seg(i,j),tri(h,i,b))).
s(9,height(seg(j,k),tri(b,j,i))).
s(10,height(seg(k,l),tri(b,k,j))).
s(11,height(seg(l,m),tri(k,l,b))).
s(12,equal(seg(a,b),seg(b,c))).
s(13,length(seg(a,b),10)).
s(14,length(seg(a,c),16)).
s(15,length(seg(d,e),x)).

Это формальное описание задачи в виде списка бинарных предикатов.
Это равнобедренный треугольник с заданными длинами сторон. В нем построены 10 вложенных треугольников с высотами. Последняя, 15-я строка содержит х — значит надо найти длину отрезка de.
Далее «Проект», «Выполнить». Получим следующее окно:


В правой колонке мы видим параметры решения задачи. В четвертой строке — ответ.

Полная информация о решении задачи содержится в трех вкладках Бд, Трасса, ДЛВ. Вкладка БД содержит все факты, выведенные в процессе решения задачи.
Тоже в формате бинарных предикатов.
Трасса нужна для отладки. Этот текстовый файл содержит описание всех проверок, выполненных программой в процессе поиска решения. Трасса дает информацию, почему запланированное правило не сработало или оно не выполнялось. Детали есть в справке по программе.
Вкладка ДЛВ — дерево логического вывода содержит полное представление структуры полученного решения задачи.