| ვერსია | 1.4.3 |
|---|---|
| გამომცემელი | Daniel Diaz |
| Გამოშვების თარიღი | 8 აპრ. 2013 |
| Თარიღი დამატებულია | 8 აპრ. 2013 |
| მოთხოვნები | Windows, Windows 7 |
| მოთხოვნები | None |
| სულ ჩამოტვირთვების | 1 943 |
| ფასი | Free |
აღწერა
GNU Prolog არის უფასო Prolog შემდგენელი, შეზღუდვების გადაჭრით სასრულ დომენებზე. GNU Prolog იღებს Prolog-ს შეზღუდვის პროგრამებით და აწარმოებს მშობლიურ ბინარებს (როგორც gcc აკეთებს C წყაროდან). მიღებული შესრულებადი მაშინ დამოუკიდებელია. ამ შესრულებადი ფაილის ზომა შეიძლება იყოს მცირე, რადგან GNU Prolog-ს შეუძლია თავიდან აიცილოს ყველაზე გამოუყენებელი ჩაშენებული პრედიკატების კოდის დაკავშირება. GNU Prolog-ის სპექტაკლები ძალიან წამახალისებელია (შედარებულია კომერციულ სისტემებთან). მშობლიური კოდის კომპილაციის გარდა, GNU Prolog გთავაზობთ კლასიკურ თარჯიმანს (უმაღლესი დონე) გამართვით.
Prolog ნაწილი შეესაბამება ISO სტანდარტს Prolog-ისთვის მრავალი გაფართოებით, რომელიც ძალიან სასარგებლოა პრაქტიკაში (გლობალური ცვლადები, OS ინტერფეისი და სოკეტები). GNU Prolog ასევე შეიცავს ეფექტურ შეზღუდვების ამომხსნელს სასრულ დომენებზე (FD). ეს ხსნის შეზღუდვის ლოგიკურ პროგრამირებას მომხმარებლისთვის, რომელიც აერთიანებს შეზღუდვის პროგრამირების ძალას ლოგიკური პროგრამირების დეკლარაციულობასთან. მახასიათებლები მოიცავს ISO სტანდარტის შესაბამისობას Prolog-ისთვის, ხაზების რედაქტირების შესაძლებლობას ინტერაქტიული თარჯიმნის ქვეშ ატომების დასრულებით, ორმხრივი ინტერფეისი Prolog-სა და C-ს შორის, მშობლიური კოდის შემდგენელი, რომელიც აწარმოებს ცალკე შესრულებადებს, მარტივი ბრძანების ხაზის შემდგენელი, რომელიც იღებს მრავალფეროვან ფაილებს, წინასწარ განსაზღვრული შეზღუდვები: არითმეტიკული შეზღუდვები, ლოგიკური შეზღუდვები, სიმბოლური შეზღუდვები და რეფიცირებული შეზღუდვები, წინასწარ განსაზღვრული აღრიცხვის ევრისტიკა და მომხმარებელს შეუძლია განსაზღვროს საკუთარი ახალი შეზღუდვები.
