GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) kuchli va bepul Prolog kompilyatori bo'lib, cheklangan domenlarda cheklovlarni echishni taklif qiladi. Ushbu dastur murakkab dasturlarni osonlik bilan yaratishi kerak bo'lgan ishlab chiquvchilar uchun mo'ljallangan. GNU Prolog cheklash dasturlari bilan Prologni qabul qiladi va xuddi gcc C manbasidan qilgani kabi mahalliy ikkilik fayllarni ishlab chiqaradi. Olingan bajariladigan fayl keyinchalik mustaqil bo'ladi, ya'ni u har qanday kompyuterda qo'shimcha dasturiy ta'minot yoki kutubxonalarga ehtiyoj sezmasdan ishlashi mumkin.

GNU Prologning eng muhim afzalliklaridan biri uning kichik o'lchamidir. Ushbu dasturiy ta'minot ko'pgina foydalanilmagan o'rnatilgan predikatlar kodini bog'lashdan qochishi mumkinligi sababli, bajariladigan fayl hajmi juda kichik bo'lishi mumkin. Bu foydalanuvchilarning kompyuterlarida juda ko'p joy egallamaydigan engil ilovalar yaratmoqchi bo'lgan ishlab chiquvchilar uchun ideal qiladi.

GNU Prologning ishlashi ham juda dalda beruvchi va tijorat tizimlari bilan solishtirish mumkin. Bu shuni anglatadiki, siz ushbu dasturiy ta'minotdan har safar foydalanganda tez va samarali natijalarga erishish uchun unga ishonishingiz mumkin.

Mahalliy kod kompilyatsiyasidan tashqari, GNU Prolog tuzatuvchiga ega klassik tarjimonni (yuqori darajadagi) taklif qiladi. Tarjimon sizning kodingizni interaktiv tarzda sinab ko'rish va ishlab chiqish jarayonida yuzaga keladigan muammolarni tuzatish imkonini beradi.

Prolog qismi amalda juda foydali (global o'zgaruvchilar, OT interfeysi va rozetkalar) ko'plab kengaytmalari bilan Prolog uchun ISO standartiga mos keladi. Bu shuni anglatadiki, siz ushbu dasturiy ta'minotdan har safar foydalanganda ishonchli natijalarga erishish uchun unga ishonishingiz mumkin.

GNU Prolog shuningdek, cheklangan domenlar (FD) ustidan samarali cheklovlarni hal qiluvchi vositani ham o'z ichiga oladi. Bu cheklashli mantiqiy dasturlashni foydalanuvchiga mantiqiy dasturlashning deklarativligi bilan cheklovchi dasturlash kuchini birlashtirgan holda ochadi.

Xususiyatlari:

- Prolog uchun ISO standartiga mos keladi

- Interfaol tarjimon ostida atomlarni to'ldirish bilan chiziqni tahrirlash imkoniyati

- Prolog va C o'rtasidagi ikki tomonlama interfeys

- mustaqil bajariladigan fayllarni ishlab chiqaruvchi mahalliy kod kompilyatori

- Turli fayllarni qabul qiluvchi oddiy buyruq qatori kompilyatori

- Oldindan belgilangan cheklovlar: arifmetik cheklovlar, mantiqiy cheklovlar, ramziy cheklovlar, reifikatsiyalangan cheklovlar.

- Oldindan belgilangan sanab evristikasi.

- Foydalanuvchi tomonidan belgilangan yangi cheklovlar

Qisqa bayoni; yakunida:

Agar siz cheklangan domenlar bo'yicha cheklovlarni echadigan kuchli, ammo bepul prolog kompilyatorini izlayotgan bo'lsangiz, 32-bitli GNU prologidan boshqa narsani qidirmang! Kichkina o'lchamli, ammo ta'sirchan ishlash qobiliyatlari intuitiv foydalanuvchi interfeysi bilan birgalikda ushbu dasturni nafaqat yangi boshlanuvchilar, balki tajribali dasturchilar uchun ham mukammal qiladi!