При разработването на модела описващ конкретния проблем сме използвали програмния пакет “Visual Prolog 5.2”.
Езикът Prolog се ражда през 1971г. в Марсилия на основа системата разработена от Алном Колмер наречена system q. Тази система е възникнала от потребността на лингвистите за обработка на символна информация. През 70 и особено 80 години е било осъзнато, че за ред задачи за управление, традиционните методи не са пригодени. Възникват логико-лингвистичните модели в системата управления. Необходимостта от подобни системи се налага поради въвличане в сферата на автоматизация на все по-сложни и по-сложни структури, за които съществуващите традиционни методи на теориия на управлението се оказват неефективни.
Prolog е известен като декларативен език. Това означава, че при зададените необходими факти и правила, Prolog използва дедуктивни умозаключения (преминаване от общи умозаключения към частни) за решаване на задачата.Това е негова отличителна особеност, която контрастира на традиционните процедурни езици като C, Basic и Paskal.
В процедурните езици следва да се зададе постъпков компютърен алгоритъм, т.е. необходимо е предваритело да се знае решението на задачата.
Използвайки Prolog, можем да предоставим само описание на задачата и основни правила за решението и. Този образ на системата за програмиране е предназначен и за определяне на това как да намерим необходимото решение.
ТУ-Варна
ДИПЛОМНА РАБОТА
СТР.48
Prolog има ред преимущества в сравнение с процедурните езици:
компактен сорс код /* една десета от аналогично решение на С++;
Системата “Visual Prolog 5.2” се основава на фрейми или правила, прав или обратен логически извод, система съпоставяне с образец и система за извод с ограничени условия. Притежава универсална среда за разработка: SQL, Visual Basic, C++, Paskal, ASM, Borland Delphi, IBM Visual Age, Internet и Web – технологии.