Моdel anlayışı. Modelləşdirmənin mahiyyəti

Ахтарыш принсипи.
Semantik şəbəkələrdə axtarış prinsipi faktlar əsasında qurulan qaydalar şəklində aparılır.
Faktlar qrafların zirvələrinin verilənlər bazası şəklində təsviri, qaydalar isə qövslərin ardıcıllığıdır.
Məsələn,
Там ядядлярдян ибарят олан L сийащысы верилиб. L сийащысындан ъями конкрет X-я бярабяр олан бцтцн мцмкцн ядядляриn axtarışını icra edin.
domains
List=X*
X=integer
predicates
gamlar(List,X,List)
clauses
gamlar([ ],0,[ ]).
gamlar([N|L1],Gam,[N|L2]):-S1=Gam-N, gamlar(L1,S1,L2).
gamlar([ _ |L1],Gam,L2):-gamlar(L1,Gam,L2).

Програм иъра олундугдан сонра

Goal: gamlar([1,2,-3,4,-5,3],4,T) сорьусу едилярся, екрана
T=[1,2,-3,4]
T=[1,3]
T=[2,4,-5,3]
T=[-3,4,3]
T=[4]
5 Solution (щялл) нятиъяляри чыхаъаг.
Динамик верилянляр базасынын семантик шябякя структуру.
“Proloг”-да тяртиб олунма мащиййятиня эюря верилянляр базасы ики група айрылыр: 1) дахили верилянляр базасы вя 2) хариъи верилянляр базасы. Истяр дахили, истярся дя хариъи верилянляр базасынын тясвири database бюлмясиндя апарылыр. Дахили верилянляр базасынын програмлашдырылмасы ися clauses бюлмясиндя апарылыр вя 5 (беш) формада иъра олунур:
1)Йалныз фактларла;
2)Факт вя гайдаларла;
3)Сийащыларла;
4)Рекурсив структурла;
5)Икили-аьаъвари структурла.
“Proloг”-ун цстцнлцкляриндян бири дя динамик верилянляр базасынын тяшкилидир. Динамик ВБ-нин гурулмасында ися ики цсулдан истифадя олунур.

1. 
   clauses бюлмясиндя ифадя олунан ВБ-ни модификасийа етмякля;
   
2. 
   щяр щансы файлдан ВБ-ни охуйуб, програма бирляшдирмякля.
   

Динамик ВБ-нин гурулмасында хцсуси систем предикатларындан истифадя олунур. Систем предикатларына “Proloг” алгоритмик дилинин операторлары да дейилир. Бу операторлар иъра етдикляри ямялиййатлара эюря ики йеря бюлцнцрляр:
1) ВБ-нин програм дахили модификасийа операторлары. Бу тип операторлар програм иъра олунан мцддятдя ВБ-дя дяйишикликляр апарырлар. Буна эюря дя бу операторларла дяйишдирилян базайа дахили ВБ дейилир. Програмын иърасы йенидян башладыгда ВБ ълаусес бюлмясиндя мцяййянляшян илкин форманы алыр. Бу група