Though XSB can be used as a Prolog

Though XSB can be used as a Prolog system, we avoid referring to XSB as such, because of the
availability of SLG resolution and the handling of HiLog terms. These facilities, while seemingly
simple, significantly extend its capabilities beyond those of a typical Prolog system. We feel that
these capabilities justify viewing XSB as a new paradigm for Logic Programming. We briefly discuss
some of these features; others are discussed in Volumes 1 and 2 of the XSB manual, as well as the
manuals for various XSB packages such as FLORA, XMC, Cold Dead Fish, xsbdoc, and XASP.

ผลลัพธ์ (ไทย) 1:

ว่าสามารถใช้เป็นระบบภาษาโปรล็อก XSB เราหลีกเลี่ยงการอ้างอิงถึง XSB ดัง เนื่องจากการความพร้อมของ SLG แก้ปัญหาและการจัดการของ HiLog สิ่งเหล่านี้ ในขณะที่ดูเหมือนว่าง่าย อย่างมีนัยสำคัญขยายความสามารถเหนือกว่าระบบภาษาโปรล็อกทั่วไป เรามีความความสามารถเหล่านี้จัดดู XSB เป็นกระบวนทัศน์ใหม่สำหรับการเขียนโปรแกรมตรรกะ เราพูดคุยสั้น ๆของเหล่านี้ ผู้อื่นจะกล่าวถึงในปริมาณ 1 และ 2 ของคู่มือ XSB ตลอดจนคู่มือสำหรับแพคเกจ XSB ต่าง ๆ เช่นดอกไม้ XMC น้ำเย็น ปลาตาย xsbdoc และ XASP

ผลลัพธ์ (ไทย) 2:

แม้ว่า XSB สามารถใช้เป็นระบบเปิดฉากเราหลีกเลี่ยงหมายถึง XSB เป็นเช่นนี้เพราะ
ความพร้อมของความละเอียด SLG และการจัดการของข้อตกลง HiLog สิ่งอำนวยความสะดวกเหล่านี้ในขณะที่ดูเหมือน
เรียบง่ายอย่างมีนัยสำคัญขยายขีดความสามารถของผู้ที่เกินของระบบเปิดฉากทั่วไป เรารู้สึกว่า
ความสามารถเหล่านี้แสดงให้เห็นถึงการดู XSB เป็นกระบวนทัศน์ใหม่สำหรับการเขียนโปรแกรมลอจิก เราสั้นหารือ
บางส่วนของคุณสมบัติเหล่านี้ คนอื่น ๆ ที่จะกล่าวถึงในเล่มที่ 1 และ 2 ของคู่มือ XSB เช่นเดียวกับ
คู่มือสำหรับแพคเกจ XSB ต่างๆเช่น FLORA, XMC เย็นตายปลา xsbdoc และ XASP

ผลลัพธ์ (ไทย) 3:

แม้ว่า xsb สามารถใช้เป็นระบบโปรล็อก เราหลีกเลี่ยงหมายถึง xsb เช่นเพราะ
ความพร้อมของ SLG ละเอียด และการจัดการด้าน hilog . เครื่องเหล่านี้ ในขณะที่ดูเหมือน
ง่ายอย่างมีนัยสำคัญขยายขีดความสามารถของมันเกินเหล่านั้นของระบบโปรแกรมทั่วไป เรารู้สึกว่า
ความสามารถเหล่านี้ปรับดู xsb ตามกระบวนทัศน์ใหม่สำหรับการเขียนโปรแกรมตรรกะ เราสั้นหารือ
บางคุณลักษณะเหล่านี้ คนอื่นจะกล่าวถึงในเล่ม 1 และ 2 ของคู่มือ xsb เช่นเดียวกับ
คู่มือ xsb สำหรับแพคเกจต่างๆเช่นพืช , ชิ้น , หนาวตาย ปลา xsbdoc และ xasp .