Invoking XSBUnder Unix, XSB can be

Invoking XSB
Under Unix, XSB can be invoked by the command:
$XSB_DIR/bin/xsb
if you have installed XSB in your private directory. If XSB is installed in a shared directory (e.g.,
$SHARED_XSB for the entire site (UNIX only), then you should use
$SHARED_XSB/bin/xsb
In both cases, you will find yourself in the top level interpreter. As mentioned above, this script
automatically detects the system configuration you are running on and will use the right files and
executables. (Of course, XSB should have been built for that architecture earlier.)
Under Windows, you should invoke XSB by typing:
$XSB_DIRinxsb
This script tries to find the XSB executable and invoke it. If, for some reason, it fails to do so, the
user should call the executable directly.
$XSB_DIRconfigx86-pc-windowsinxsb.exe
You may want to make an alias such as xsb to the above commands, for convenience, or you
might want to put the directory where the XSB command is found in the $PATH environment
variable. However, you should not make hard links to this script or to the XSB executable. If you
invoke XSB via such a hard link, XSB will likely be confused and will not find its libraries. That
said, you can create other scripts and call the above script from there.
ISO“standard” Prolog predicates are supported by XSB, in addition to many other predicates:
so those of you who consider yourselves champion entomologists, can try to test them for bugs now.
Details are in Chapter 6.

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

เรียก XSBภายใต้ Unix, XSB สามารถเรียก ด้วยคำสั่ง:$XSB_DIR/ช่อง/xsbถ้าคุณได้ติดตั้ง XSB ในไดเรกทอรีของคุณส่วนตัว ถ้า XSB ถูกติดตั้งในไดเรกทอรีที่ใช้ร่วมกัน (เช่น$SHARED_XSB สำหรับทั้งไซต์ (เฉพาะ UNIX), แล้วคุณควรใช้$SHARED_XSB/ช่อง/xsbในทั้งสองกรณี คุณจะพบตัวเองในตัวแปลระดับบนสุด ดังกล่าวข้างต้น สคริปต์นี้การตรวจพบโดยอัตโนมัติกำหนดค่าระบบที่คุณกำลังเรียกใช้บน และจะใช้แฟ้มถูกต้อง และexecutables (แน่นอน XSB ควรถูกสร้างไว้สำหรับสถาปัตยกรรมที่ก่อนหน้านี้)ภายใต้ Windows คุณควรเรียก XSB โดยการพิมพ์:$XSB_DIRinxsbสคริปต์นี้พยายามที่จะค้นหาปฏิบัติ XSB และเรียกใช้มัน ถ้า ดัง เรื่องดัง การผู้ใช้ควรเรียกปฏิบัติโดยตรง$XSB_DIRconfigx86-pc-windowsinxsb.exeคุณอาจต้องการให้แฝงเช่น xsb คำสั่งด้านบน ความสะดวก หรือคุณอาจต้องการย้ายไดเรกทอรีที่มีคำสั่ง XSB อยู่ในสิ่งแวดล้อม $PATHตัวแปร อย่างไรก็ตาม คุณจะไม่ได้เชื่อมโยงฮาร์สคริปต์ หรือ XSB ปฏิบัติ ถ้าคุณเรียก XSB ผ่านลิงค์ยาก XSB อาจจะสับสน และจะค้นหาไลบรารีของ ว่ากล่าวว่า คุณสามารถสร้างสคริปต์อื่น ๆ และเรียกสคริปต์ข้างต้นจากเคตภาษาโปรล็อก "มาตรฐาน" ISO สนับสนุน โดย XSB นอกจากเคตอื่น ๆ:เพื่อให้ผู้พิจารณาเองแชมเปี้ยน entomologists สามารถลองทดสอบพวกเขาสำหรับข้อผิดพลาดขณะนี้มีรายละเอียดในบทที่ 6

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

เรียก XSB
ภายใต้ระบบปฏิบัติการยูนิกซ์ XSB สามารถเรียกโดยคำสั่ง:
$ XSB_DIR / bin / XSB
ถ้าคุณได้ติดตั้ง XSB ในไดเรกทอรีส่วนตัวของคุณ หาก XSB มีการติดตั้งในไดเรกทอรีที่ใช้ร่วมกัน (เช่น
$ SHARED_XSB สำหรับเว็บไซต์ทั้งหมด (ยูนิกซ์เท่านั้น) แล้วคุณควรใช้
$ SHARED_XSB / bin / XSB
ในทั้งสองกรณีที่คุณจะพบว่าตัวเองในล่ามระดับบนสุด. ดังกล่าวข้างต้น สคริปต์นี้
จะตรวจจับการกำหนดค่าระบบที่คุณกำลังทำงานบนและจะใช้ไฟล์ที่เหมาะสมและ
. executables (. แน่นอน XSB ควรได้รับการสร้างขึ้นสำหรับสถาปัตยกรรมที่ว่าก่อนหน้านี้)
ใน Windows คุณควรเรียก XSB โดยการพิมพ์:
$ XSB_DIR bin XSB
สคริปต์นี้พยายามที่จะหา XSB ปฏิบัติการและเรียกมัน. ถ้าด้วยเหตุผลบางอย่างก็ล้มเหลวในการทำเช่นนั้น
ผู้ใช้ควรจะเรียกปฏิบัติการโดยตรง.
$ XSB_DIR config ของ x86-PC-Windows bin xsb.exe
คุณ อาจต้องการให้นามแฝงเช่น XSB คำสั่งดังกล่าวข้างต้นเพื่อความสะดวกหรือคุณ
อาจต้องการที่จะนำไดเรกทอรีที่คำสั่ง XSB ถูกพบในสภาพแวดล้อมที่ $ PATH
ตัวแปร. อย่างไรก็ตามคุณไม่ควรจะทำให้การเชื่อมโยงอย่างหนักเพื่อสคริปต์นี้หรือ เพื่อปฏิบัติการ XSB. ถ้าคุณ
เรียก XSB ผ่านเช่นการเชื่อมโยงอย่างหนัก XSB มีแนวโน้มที่จะเกิดความสับสนและจะไม่พบห้องสมุด ที่
กล่าวว่าคุณสามารถสร้างสคริปต์อื่น ๆ และเรียกสคริปต์ข้างต้นจากที่นั่น.
ISO "มาตรฐาน" ภาคอารัมภบทรับการสนับสนุนโดย XSB นอกเหนือไปจากภาคอื่น ๆ อีกมากมาย:
ดังนั้นบรรดาของคุณที่คิดว่าตัวเอง entomologists แชมป์สามารถลองทดสอบพวกเขาสำหรับ ข้อผิดพลาดในขณะนี้.
โดยมีรายละเอียดในบทที่ 6

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

การ xsb
ภายใต้ Unix xsb สามารถถูกเรียกโดยคำสั่ง :
$ xsb_dir / bin / xsb
ถ้าคุณได้ติดตั้ง xsb ในไดเรกทอรีส่วนบุคคลของคุณ ถ้า xsb ติดตั้งในไดเรกทอรีที่ใช้ร่วมกัน ( เช่น
$ shared_xsb สำหรับทั้งหมดเว็บไซต์ ( UNIX เท่านั้น ) แล้วคุณควรใช้
$ shared_xsb / bin / xsb
ในทั้งสองกรณี คุณจะพบตัวเองในล่ามระดับบนสุด ดังกล่าวข้างต้นสคริปต์นี้
โดยอัตโนมัติตรวจจับการตั้งค่าระบบที่คุณใช้ และจะใช้ไฟล์ executables และ
. ( แน่นอนว่า xsb ควรได้รับการสร้างขึ้นสำหรับสถาปัตยกรรมที่ก่อนหน้านี้ )
ภายใต้ Windows , คุณควรเรียก xsb โดยการพิมพ์ :
$ xsb_dir bin xsb
บทนี้ พยายามหา xsb ปฏิบัติการและเรียกใช้มัน ถ้าด้วยเหตุผลบางอย่างมันล้มเหลวที่จะทำเช่นนั้น
ผู้ใช้ควรจะเรียก
ปฏิบัติการโดยตรง$ xsb_dir config N และ PC Windows bin xsb . exe
คุณอาจต้องการให้นามแฝงเช่น xsb กับคำสั่งข้างต้นเพื่อความสะดวก หรือคุณ
อาจต้องใส่ไดเรกทอรีที่ xsb คำสั่งที่พบใน $ PATH สิ่งแวดล้อม
ตัวแปร อย่างไรก็ตาม คุณไม่ควรสร้างการเชื่อมโยงอย่างหนักเพื่อสคริปต์นี้หรือไป xsb ปฏิบัติการ ถ้าคุณเรียกใช้ผ่านทางลิงค์
xsb เช่นฮาร์ดดิสก์xsb อาจจะสับสน และจะไม่หาของห้องสมุด ที่
กล่าวว่า คุณสามารถสร้างสคริปต์อื่น ๆและเรียกสคริปต์ข้างต้นจากที่นั่น
ISO " มาตรฐาน " เปิดฉากภาคแสดงได้รับการสนับสนุนโดย xsb นอกจากภาคแสดงอื่นๆ :
ดังนั้นผู้ที่พิจารณาตัวเองชั้นสูง แชมป์สามารถพยายามที่จะทดสอบพวกเขาสำหรับแมลงแล้ว .
รายละเอียดในบทที่ 6