PROLOG

Сунъий тафаккур масалаларида фойдаланиладиган юқори поғонадаги дастурлаш тили. “Мантиқ тушунчаларида дастурлаш” тили, ПРОЛОГ (Программинг Логик) мантиқий фикрлардан ва қоидалар мажмуасидан иборат. Фикрлар шартлардан (предикатлардан), боғланмалардан, доимийлардан иборат бўлиб, маълумотлар базасини ташкил қилади. Тилнинг асосий элементи - “атом” деб номланган элемент, у айрим обектлар орасидаги муносабатларни ифодалайди. ПРОЛОГ тили ёрдамида дастурчи бевосита тушунчалар орасидаги мантиқий алоқалар билан иш тутади.