X-Prolog

คำอธิบายของ X-Prolog

X-Prolog เป็นระบบประสาทที่มีน้ำหนักเบาเพื่ออำนวยความสะดวกในการเขียนโปรแกรมใน Prolog บน Android แอปเรียกใช้โปรแกรม PROLOGN ในมุมมองคอนโซลหรือเป็นบริการที่ถูกผูกไว้กับแอปไคลเอนต์ ไคลเอ็นต์ตัวอย่างสามารถใช้ได้ที่ https://github.com/xprolog/sample-client
got เครื่องมือ?
แอพนี้ขึ้นอยู่กับเครื่องมือที่ผู้ใช้กำหนดสำหรับการแก้ไขและสร้างโครงการ เครื่องมือที่เขียนขึ้นใน PROLOG และสามารถมองเห็นได้บนอุปกรณ์ที่มีตัวเลือกนักพัฒนา ข้อมูลการแลกเปลี่ยนแอพและเครื่องมือผ่านการถ่ายโอนตัวแปรและเอาต์พุตที่ฟอร์แมต รุ่นนี้รวมถึงเครื่องมือเล็กน้อยที่มีวัตถุประสงค์เพื่อแสดงให้เห็นถึงคุณสมบัติการใช้เครื่องมือของแอพ
แอพนี้กำหนดจุดขยายที่มีการถ่ายโอนตัวแปร (เครื่องมือ) และเอาต์พุตที่ฟอร์แมต (จากเครื่องมือ) เครื่องมืออาจมีการกำหนดค่าให้มีส่วนร่วมในการขยายหนึ่งจุดขึ้นไปโดยการระบุคำบริบท
คำบริบทคือคำอ่านคำของแบบฟอร์ม
บริบท (ชื่อ, filetypes, ลำดับความสำคัญ)
, ที่ไหน
ชื่อ
เป็นชื่อของจุดขยาย
FileTypes
เป็นรายการของประเภทไฟล์ที่ยอมรับได้และลำดับความสำคัญ
เป็นจำนวนเต็มไม่น้อยกว่าศูนย์ ความหมายของสิ่งที่แตกต่างกันไปขึ้นอยู่กับจุดขยาย
รุ่นนี้กำหนดสามจุดต่อ:
สร้างแก้ไข
และ
การกระทบยอด
ซึ่งอนุญาตให้เครื่องมือมีส่วนร่วม , ตามลำดับ, สร้างโครงการ, การแก้ไขไฟล์ต้นฉบับและรุ่นที่กระทบยอด
เพื่อสร้างโครงการเปิดไฟล์ในไดเรกทอรีสูงสุดของโครงการและคลิก
สร้าง
ในการส่งออกโครงการไปยังไฟล์อ็อบเจ็กต์ runnable บนระบบไฟล์โลคัลคลิก
ส่งออก
หากต้องการเรียกใช้ไฟล์อ็อบเจ็กต์ให้คลิก
รัน
ไฟล์ถูกพิจารณาว่าเป็นไฟล์แหล่งข้อมูลหากมีเครื่องมืออย่างน้อยหนึ่งรายการที่สร้างไฟล์อาจจะเปลี่ยนเป็นไฟล์ต้นฉบับอื่น รุ่นนี้มีเครื่องมือสร้างเดียว
คอมไพล์
ซึ่งแปลไฟล์ต้นฉบับของ PROLOGN (.pl) ลงในไฟล์โหลดด่วน (.ql)
ปัญหาที่ทราบ ได้แก่ การตรวจสอบเกิดขึ้น มุมมองการปรับปรุงแบบลอจิคัลประกอบไปด้วยตัวแปรต่าง ๆ