Prolog mantiqiy dasturlash tilimi?
Prolog mantiqiy dasturlash tilimi?

Video: Prolog mantiqiy dasturlash tilimi?

Video: Prolog mantiqiy dasturlash tilimi?
Video: 6. Mantiqiy amallar - C++da dasturlash darslari 2024, May
Anonim

Til paradigmalari: Deklarativ dasturlash

Bundan tashqari, bilish kerakki, Prolog dasturlash tilining qaysi turi?

Prolog ba'zan deklarativ deb ataladi til yoki qoidaga asoslangan til chunki uning dasturlari faktlar va qoidalar ro'yxatidan iborat. Prolog sun'iy intellekt dasturlari, xususan ekspert tizimlari uchun keng qo'llaniladi.

Keyinchalik savol tug'iladi: Prologdan boshqa mantiqiy dasturlash tillari bormi? Mana ancha istiqbolli funksiya hisoblanadi mantiqiy dasturlash tili Curry deb ataladi. Xususan, cheklov tillar CLP(R), CLP(Q), CLP(FD) kabi. CHR kabi ko'proq umumiy kengaytmalar, shuningdek, ko'plab yozilgan yondashuvlar. Bular tillar odatda kutubxona sifatida yuboriladi a mavjud Prolog tizimi.

Xuddi shunday savol tug'ilishi mumkin: mantiqiy dasturlash tili nima?

Mantiqiy dasturlash a dasturlash asosan rasmiy paradigmaga asoslanadi mantiq . a da yozilgan har qanday dastur mantiqiy dasturlash tili dagi gaplar to‘plamidir mantiqiy shakl, ba'zi bir muammo sohasi haqida faktlar va qoidalarni ifodalash. Bularning barchasida tillar , qoidalar ergash gaplar shaklida yoziladi: H:- B1, …, B.

Predikat mantiqi dasturlash tilimi?

Kabi dasturlash tili , predikativ mantiq yagona hisoblanadi til bu butunlay foydalanuvchiga yo'naltirilgan.

Tavsiya: