X-Prolog

xprolog

ამ აპის შესახებ

X-Prolog არის მსუბუქი Prolog სისტემა, რომელიც გამიზნულია Android-ზე Prolog-ში პროგრამირების გასაადვილებლად. აპლიკაცია აწარმოებს Prolog პროგრამებს ტექსტის ხედში, ვებ ხედში ან კლიენტის აპისთვის მიბმული სერვისის სახით. კლიენტის ნიმუში ხელმისაწვდომია https://github.com/xprolog/sample-client.

გაითვალისწინეთ, რომ Google Play ზღუდავს ყველა ფაილზე წვდომის ნებართვის გამოყენებას აპებში, რომლებიც მიზნად ისახავს Android 11 ან უფრო გვიან. იმისათვის, რომ დააინსტალიროთ X-Prolog ყველა ფაილზე წვდომის ნებართვით, იხილეთ https://github.com/xprolog/xp/releases.

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

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

კონტექსტური ტერმინი არის წაკითხული ტერმინი ფორმის context(Name, FileTypes, Priority) , სადაც Name არის გაფართოების წერტილის სახელი, FileTypes არის მისაღები ფაილის ტიპების სია და Priority არის ნულის არანაკლებ მთელი რიცხვი, რომლის მნიშვნელობაც განსხვავდება გაფართოების წერტილის მიხედვით.

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

პროექტის ასაშენებლად გახსენით ფაილი პროექტის ზედა დირექტორიაში და დააწკაპუნეთ Build. პროექტის ექსპორტისთვის გასაშვებად ობიექტურ ფაილში ადგილობრივ ფაილურ სისტემაში, დააწკაპუნეთ ექსპორტზე. ობიექტის ფაილის გასაშვებად დააწკაპუნეთ Run.

ფაილი განიხილება წყაროს ფაილად, თუ არსებობს ერთი ან მეტი ინსტრუმენტი, რომელიც ქმნის ფაილს, შესაძლოა გარდაქმნას მას სხვა წყარო ფაილად. ეს გამოშვება მოიცავს ერთი build ინსტრუმენტის, Compile, რომელიც თარგმნის Prolog წყაროს ფაილს (.pl) სწრაფად ჩატვირთვის ფაილად (.ql).

ცნობილ საკითხებს შორისაა შემოწმების, ლოგიკური განახლების ხედვა, მიკუთვნებული ცვლადები სხვათა შორის.

რა არის ახალი

Initial release