X-Prolog

X-Prolog เป็นระบบ Prolog ที่มีน้ำหนักเบา

X-Prolog เป็นระบบ Prolog น้ำหนักเบาที่ออกแบบมาเพื่ออำนวยความสะดวกในการเขียนโปรแกรมใน Prolog บน Android แอปรันโปรแกรม Prolog ในมุมมองข้อความ มุมมองเว็บ หรือเป็นบริการที่ผูกกับแอปไคลเอ็นต์ ลูกค้าตัวอย่างสามารถดูได้ที่ https://github.com/xprolog/sample-client

โปรดทราบว่า Google Play จำกัดการใช้สิทธิ์เข้าถึงไฟล์ทั้งหมดในแอปที่กำหนดเป้าหมายเป็น Android 11 หรือใหม่กว่า หากต้องการติดตั้ง X-Prolog โดยมีสิทธิ์เข้าถึงไฟล์ทั้งหมด โปรดดูที่ https://github.com/xprolog/xp/releases

มีเครื่องมือหรือไม่ แอปนี้ขึ้นอยู่กับเครื่องมือที่ผู้ใช้กำหนดสำหรับการแก้ไขและสร้างโครงการ เครื่องมือนี้เขียนด้วย Prolog และมองเห็นได้บนอุปกรณ์ที่มีตัวเลือกสำหรับนักพัฒนา แอพและเครื่องมือจะแลกเปลี่ยนข้อมูลผ่านตัวแปรการถ่ายโอนและเอาต์พุตที่จัดรูปแบบ รุ่นนี้ประกอบด้วยเครื่องมือเล็กๆ น้อยๆ ที่มีวัตถุประสงค์เพื่อสาธิตคุณลักษณะการใช้เครื่องมือของแอป

แอปกำหนดจุดขยายที่ตัวแปรการถ่ายโอนพร้อมใช้งาน (ไปยังเครื่องมือ) และเอาต์พุตที่จัดรูปแบบ (จากเครื่องมือ) ได้รับการยอมรับ เครื่องมืออาจได้รับการกำหนดค่าให้มีส่วนต่อขยายอย่างน้อยหนึ่งจุดโดยการระบุคำบริบท

เงื่อนไขบริบทคือเงื่อนไขการอ่านของรูปแบบ บริบท (ชื่อ ประเภทไฟล์ ลำดับความสำคัญ) โดยที่ ชื่อ คือชื่อของจุดส่วนขยาย ประเภทไฟล์ เป็นรายการประเภทไฟล์ที่ยอมรับได้ และ ลำดับความสำคัญ เป็นจำนวนเต็มไม่น้อยกว่าศูนย์ ความหมายจะแตกต่างกันไปตามจุดขยาย

รุ่นนี้กำหนดจุดขยายสามจุด: สร้าง แก้ไข และ กระทบยอด ซึ่งช่วยให้เครื่องมือต่างๆ มีส่วนช่วยในการสร้างโครงการ การแก้ไขไฟล์ต้นฉบับ และการปรับเทียบรูปแบบแหล่งที่มาตามลำดับ

ในการสร้างโปรเจ็กต์ ให้เปิดไฟล์ในไดเร็กทอรีด้านบนสุดของโปรเจ็กต์แล้วคลิก สร้าง หากต้องการส่งออกโปรเจ็กต์ไปยังไฟล์อ็อบเจ็กต์ที่รันได้บนระบบไฟล์ในเครื่อง ให้คลิก ส่งออก เมื่อต้องการเรียกใช้ไฟล์อ็อบเจ็กต์ ให้คลิก เรียกใช้

ไฟล์จะถือเป็นซอร์สไฟล์ หากมีเครื่องมืออย่างน้อยหนึ่งอย่างที่สร้างไฟล์ ซึ่งอาจแปลงเป็นไฟล์ต้นฉบับอื่น รุ่นนี้มีเครื่องมือสร้างเดียว คอมไพล์ ซึ่งแปลไฟล์ต้นฉบับ Prolog (.pl) เป็นไฟล์โหลดอย่างรวดเร็ว (.ql)

ปัญหาที่ทราบ ได้แก่ การตรวจสอบที่เกิดขึ้น มุมมองการอัพเดทเชิงตรรกะ ตัวแปรที่มาจากสาเหตุอื่นๆ