Prolog (dasturlash tili)

Arxitektura Tilning

ko'pgina zamonaviy ilovalari OOP arxitekturasi orqali ichki kengaytmalarga ega. Erkin bo'lmagan echimlardan tashqari, Prologning bepul ilovalari ham mavjud. 1996 yilda ISO / IEC JTC1 / SC22 / WG17 deb nomlangan ISO standarti qabul qilindi. Tilning asosiy printsipi - bu dastur va ma'lumotlarni taqdim etishning ekvivalentligi (deklarativlik), shuning uchun tilning bayonotlari ma'lumotlar bazasidagi yozuvlarga o'xshash ikkala yozuv va ularni qayta ishlash usullarini o'z ichiga olgan qoidalardir. . Ushbu fazilatlarning kombinatsiyasi Prolog tizimi ishlaganda bilim (ma'lumotlar va qoidalar) to'planishiga olib keladi. Shuning uchun Prolog tizimlari bilimlar bazasini to'plash va talabalar va maktab o'quvchilariga mantiqiy dasturlash tamoyillarini o'rgatish uchun tabiiy muhit hisoblanadi.

Sintaksis Prolog - tilidagi asosiy tushunchalar faktlar, xulosa chiqarish qoidalari va so'rovlar bo'lib, ular bilim asoslarini, xulosa chiqarish va qaror qabul qilish tartib-qoidalarini tavsiflash imkonini beradi. Mantiqiy dasturlashda, muqaddimada amalga oshirilganidek, faqat bitta xulosa chiqarish qoidasi qo'llaniladi - rezolyutsiya. Muqaddima tilida bo'sh rezolyutsiya izlanadigan formulalarning dastlabki to'plami "Shox gaplari" deb ataladigan shaklda ifodalanadi: