10-Amaliy mashg‘ulot

10-Amaliy mashg‘ulot
Mavzu: Prologda dasturni bajarishda ichki unifikatsiya vaqtida qoidalar va faktlarni qayta ishlash.
Ishdan mqasad: Prologda dasturni bajarishda ichki unifikatsiya vaqtida qoidalar
PROLOGUE dasturi ikkita komponentdan iborat: faktlar va qoidalar. Faktlar dastur ishlaydigan ma'lumotlarni aks ettiradi va faktlar yig'indisi PROLOGUE ma'lumotlar bazasini tashkil qiladi, bu aslida relyatsion ma'lumotlar bazasidir. Ma'lumotlar ustida bajariladigan asosiy operatsiya mos keladigan operatsiya bo'lib, uni birlashtirish yoki yarashtirish operatsiyasi deb ham ataladi. Qoidalar sarlavha va kichik maqsadlardan iborat. PROLOGda yozilgan dasturning bajarilishi so'rovdan boshlanadi va berilgan faktlar va qoidalar to'plami doirasida qandaydir mantiqiy fikrning haqiqatini isbotlashdan iborat. Ushbu isbot uchun algoritm (algoritm mantiqiy xulosa) va PROLOGda yozilgan dasturni bajarish tamoyillarini belgilaydi.
Protsessual tillarda yozilgan, masalani yechish uchun kompyuter bajarishi kerak bo‘lgan amallar ketma-ketligini ko‘rsatuvchi dasturlardan farqli o‘laroq, PROLOGda dasturchi faktlar, qoidalar, ular o‘rtasidagi munosabatlar, shuningdek, masala bo‘yicha so‘rovlarni tasvirlab beradi. Masalan, bizda kimning onasi ekanligi haqida quyidagi faktlar bor deylik:
onam ("Dasha", "Masha").
onam ("Natasha", "Dasha").
Bundan tashqari, buviga munosabatni kiritadigan qoida mavjud:
buvim (X, Y): -
Endi biz u yoki bu shaxsning buvisi yoki u yoki bu ayolning nevarasi (nabirasi) kim ekanligi haqida so'rov qilishimiz mumkin:
buvisi (Natasha, X).
PROLOG tizimi ushbu so'rovga quyidagicha javob beradi:
PROLOGUE tilidan foydalanish imkoniyatlari ancha keng. Eng mashhurlari orasida ramziy matematika, rejalashtirish, kompyuter yordamida loyihalash, kompilyatorlar qurish, ma'lumotlar bazalari va tabiiy tillarni qayta ishlash bo'yicha ilovalar mavjud. Ammo, ehtimol, PROLOGUE-ning eng tipik qo'llanilishi ekspert tizimlaridir.
Bugungi kunda mantiqiy tillarning butun sinfi mavjud; Shunday qilib, QA-4, Popler, Conniver va QLISP mantiqiy dasturlash tillari ham Planner tilidan kelib chiqqan. Mercury, Visual Prolog, Oz va Fril dasturlash tillari Prolog tilidan kelib chiqqan.
Funktsional tillar
Funktsional tipdagi birinchi til LISP tili boʻlib, 1956-1959 yillarda Massachusets texnologiya institutida yaratilgan. 1956 yilda Darmut konferentsiyasida (AQSh) birinchi marta "sun'iy intellekt" atamasini taklif qilgan Jon Makkarti.