GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) არის ძლიერი და უფასო Prolog შემდგენელი, რომელიც გთავაზობთ შეზღუდვების გადაჭრას სასრულ დომენებზე. ეს პროგრამა განკუთვნილია დეველოპერებისთვის, რომლებსაც სჭირდებათ რთული პროგრამების მარტივი შექმნა. GNU Prolog იღებს Prolog-ს შეზღუდვის პროგრამებით და აწარმოებს მშობლიურ ბინარებს, ისევე, როგორც ამას აკეთებს gcc C წყაროდან. მიღებული შესრულებადი შემდეგ დამოუკიდებელია, რაც ნიშნავს, რომ მას შეუძლია ნებისმიერ კომპიუტერზე გაშვება დამატებითი პროგრამული უზრუნველყოფის ან ბიბლიოთეკების საჭიროების გარეშე.

GNU Prolog-ის ერთ-ერთი ყველაზე მნიშვნელოვანი უპირატესობა მისი მცირე ზომაა. ვინაიდან ამ პროგრამულ უზრუნველყოფას შეუძლია თავიდან აიცილოს ყველაზე გამოუყენებელი ჩაშენებული პრედიკატების კოდის დაკავშირება, შესრულებადი ფაილების ზომა შეიძლება იყოს ძალიან მცირე. ეს მას იდეალურს ხდის დეველოპერებისთვის, რომლებსაც სურთ შექმნან მსუბუქი აპლიკაციები, რომლებიც არ იკავებს დიდ ადგილს მომხმარებლის კომპიუტერებზე.

GNU Prolog-ის სპექტაკლები ასევე ძალიან გამამხნევებელი და შედარებულია კომერციულ სისტემებთან. ეს ნიშნავს, რომ თქვენ შეგიძლიათ დაეყრდნოთ ამ პროგრამულ უზრუნველყოფას, რათა მიიღოთ სწრაფი და ეფექტური შედეგები ყოველი გამოყენებისას.

მშობლიური კოდის კომპილაციის გარდა, GNU Prolog გთავაზობთ კლასიკურ თარჯიმანს (უმაღლესი დონე) გამართვით. თარჯიმანი საშუალებას გაძლევთ შეამოწმოთ თქვენი კოდი ინტერაქტიულად და გამართოთ ნებისმიერი პრობლემა, რომელიც წარმოიქმნება განვითარების დროს.

Prolog ნაწილი შეესაბამება ISO სტანდარტს Prolog-ისთვის მრავალი გაფართოებით, რომელიც ძალიან სასარგებლოა პრაქტიკაში (გლობალური ცვლადები, OS ინტერფეისი და სოკეტები). ეს ნიშნავს, რომ თქვენ შეგიძლიათ დაეყრდნოთ ამ პროგრამულ უზრუნველყოფას საიმედო შედეგების მისაწოდებლად ყოველი გამოყენებისას.

GNU Prolog ასევე შეიცავს ეფექტურ შეზღუდვების ამომხსნელს სასრულ დომენებზე (FD). ეს ხსნის შეზღუდვის ლოგიკურ პროგრამირებას მომხმარებლისთვის, რომელიც აერთიანებს შეზღუდვის პროგრამირების ძალას ლოგიკური პროგრამირების დეკლარაციულობასთან.

Მახასიათებლები:

- შეესაბამება ISO სტანდარტს პროლოგისთვის

- ხაზების რედაქტირების საშუალება ინტერაქტიული თარჯიმნის ქვეშ ატომების დასრულებით

- ორმხრივი ინტერფეისი პროლოგსა და C-ს შორის

- მშობლიური კოდის შემდგენელი, რომელიც აწარმოებს დამოუკიდებელ შესრულებადებს

- მარტივი ბრძანების ხაზის შემდგენელი, რომელიც იღებს სხვადასხვა ფაილებს

- წინასწარ განსაზღვრული შეზღუდვები: არითმეტიკული შეზღუდვები, ლოგიკური შეზღუდვები, სიმბოლური შეზღუდვები, რეფიცირებული შეზღუდვები.

- წინასწარ განსაზღვრული აღრიცხვის ევრისტიკა.

- მომხმარებლის მიერ განსაზღვრული ახალი შეზღუდვები

Ჯამში:

თუ თქვენ ეძებთ მძლავრ, მაგრამ უფასო პროლოგის შემდგენელს, შეზღუდვების გადაჭრით სასრულ დომენებზე, მაშინ არ გაიხედოთ GNU პროლოგის 32-ბიტიანი! მისი მცირე ზომის, მაგრამ შთამბეჭდავი შესრულების შესაძლებლობებით, ინტუიციური მომხმარებლის ინტერფეისით, ამ პროგრამას სრულყოფილად აქცევს არა მხოლოდ დამწყებთათვის, არამედ გამოცდილ პროგრამისტებსაც!