SPIDER

Един език за програмиране чрез управляващи мрежи

(описание на езика и ръководство за програмиста)

1. Въведение.

Езикът SPIDER е реализация на теоретичните принципи, определящи един нов стил на непроцедурно програмиране - програмиране чрез управляващи мрежи (УМ). Характеристиките на стила и базовите структури на езика представляват мощно средство за описване и решаване на задачи с висока степен на трудност.

Кои са предимствата на SPIDER ?

- SPIDER позволява решаването на недетерминирани задачи чрез декларативното им описание във вид на граф (управляваща мрежа);

- SPIDER има вграден механизъм за извод, основаващ се на стратегията BACKTRACKING;

- SPIDER притежава набор от системни опции, управляващи механизма за извод и позволяващи евристичното търсене на решение;

- SPIDER представлява надстройка на езика PASCAL. Той наследява всички възможности на конкретните реализации на PASCAL, като същевременно остава независим от тях - както от съществуващите, така и бъдещите.

2. Примерна програма на SPIDER.

За да се получи една първоначална обща представа за синтаксиса на SPIDER, ще разгледаме една проста програма, отпечатваща на екрана съобщението 'Hello World'.

Базова структура във всяка програма на езика е управляващата мрежа (Control Network). Тя се състои от няколко подмрежи, една от които е главна (MAIN). Подмрежите имат уникални имена и се задават чрез съставящите ги състояния (State) и стрелки (Arrow). Стрелките указват възможните преходи от едно състояние в друго. Всяко от състоянията има уникално, в рамките на подмрежата име. По стрелките се поставят елементарни действия (Primitive), които се изпълняват при движение по конкретната стрелката.

Графичното изображение на главната подмрежа за разглеждания прост пример има следния вид:

MAIN Simple

Фиг.1.

Според горното описание:

има една подмрежа (главна) с име Simple;

в подмрежата има две състояния - Enter и FINISH;

има една стрелка от Enter към FINISH;

на стрелката е поставен един примитив - Print.

Изпълнението винаги започва от първото дефинирано състояние на главната подмрежа, като последователно се стартират примитивите от всички излизащи стрелки.

За разглеждания пример изпълнението включва следните стъпки: