SWI-Prolog

มันวัตถุประสงค์โปรแกรมตรรกะป​​ระโยชน์ปัญญาประดิษฐ์และภาษาศาสตร์

มีอะไรใหม่ ในข่าวประชาสัมพันธ์ฉบับนี้.

• ประเภทกิงดิคใหม่และไวยากรณ์ให้ทั้งเวลาและพื้นที่แผนที่ค่าชื่อมีประสิทธิภาพด้วยไวยากรณ์ที่น่าพอใจ.
• เป็นผลให้มันเป็นสิ่งจำเป็นที่จะเปลี่ยนคอนสตรัรายการ (H, T) โดย (ยังอยู่ในการใช้งานโดยเมอร์) '[|]. (H, T) ที่อาจดูเหมือนรุนแรง แต่ในทางปฏิบัติมีผลกระทบเฉพาะโปรแกรมไม่กี่สะดุดตาทำ functor (ระยะ, F, A) ในรายการแล้วเลือกการประมวลผลเพิ่มเติมเกี่ยวกับ F == '.', A == 2. เมื่อต้องการเปิดรายการมากขึ้นเป็น สร้างพิเศษ [] ยังคงเป็นรายการที่ว่างเปล่า แต่อีกไม่นานเช่นเดียวกับ '[] คือ [] ไม่ได้อยู่ที่อะตอม.
• ไวยากรณ์ & quot; ... & quot; ถูกแมปในขณะนี้เพื่อสตริง สายเข้ากันได้กับ Eclipse (ขอบคุณโจอาคิม Schimpf สำหรับการอภิปรายทั้งหมด) แบบดั้งเดิมรหัสรายการจะถูกสร้างขึ้นโดยใช้ .... ธง double_quotes back_quotes และควบคุมพฤติกรรมนี้.
• ขอบคุณที่ Torbjorn เบียร์เรามี & quot; & quot Pengines ;, เครื่องมือเปิดฉากบนเว็บ นี้จะให้ API ทั่วไปที่จะพูดคุยได้อย่างสะดวกสบายไปยังเซิร์ฟเวอร์เปิดฉากจาก JavaScript และกรณีเปิดฉากอื่น ๆ มันเปิดใช้งานหวด SWI-เปิดฉากในเบราว์เซอร์ของคุณ (http://swish.swi-prolog.org) เช่นเดียวกับ http://lpn.swi-prolog.org (เรียนรู้เปิดฉาก Now! กับ SWISH ฝัง).
• มาร์คัส Triska เพิ่ม CLP (ข) แก้ข้อ จำกัด บูลีนปรับตัวดีขึ้นของเขา CLP (FD) และก่อนที่จะปรับปรุงหลายระดับบนสุดที่จะจัดการกับข้อ จำกัด .
• ขอบคุณที่แมตต์ลิลลี่และไมค์ Elston มี CQL เป็น DSL (Domain Specific Language) สำหรับการรับมือกับ SQL CQL มีการพัฒนาในสภาพแวดล้อมที่ซับซ้อนฐานข้อมูล SQL เป็นบรรทัดฐานและดังนั้นจึงสนับสนุนเซตใหญ่ของ SQL และสามารถจัดการกับตารางที่มีมากมายของคอลัมน์และสิ่งอื่น ๆ ที่ผู้ใช้ SQL ocasional จะไม่คาดหวัง.
• ลิลลี่แมตต์ที่ดีขึ้นอย่างมีนัยสำคัญการสนับสนุนเครือข่ายรวมถึงการสนับสนุนที่ดีมากสำหรับ SSL และสนับสนุนทั่วไปทั้ง HTTP และถุงเท้าเซิร์ฟเวอร์พร็อกซี่.
• หลายคนได้ให้ add-on (แพ็ค) ที่พึ่งพา SWI-เปิดฉาก 7 รุ่น.

มีอะไรใหม่ ในรุ่น 7.2.1 / 7.3.3-dev:

• ประเภทกิงดิคใหม่ และไวยากรณ์ให้ทั้งเวลาและพื้นที่แผนที่ค่าชื่อมีประสิทธิภาพด้วยไวยากรณ์ที่น่าพอใจ.
• เป็นผลให้มันเป็นสิ่งจำเป็นที่จะเปลี่ยนคอนสตรัรายการ (H, T) โดย (ยังอยู่ในการใช้งานโดยเมอร์) '[|]. (H, T) ที่อาจดูเหมือนรุนแรง แต่ในทางปฏิบัติมีผลกระทบเฉพาะโปรแกรมไม่กี่สะดุดตาทำ functor (ระยะ, F, A) ในรายการแล้วเลือกการประมวลผลเพิ่มเติมเกี่ยวกับ F == '.', A == 2. เมื่อต้องการเปิดรายการมากขึ้นเป็น สร้างพิเศษ [] ยังคงเป็นรายการที่ว่างเปล่า แต่อีกไม่นานเช่นเดียวกับ '[] คือ [] ไม่ได้อยู่ที่อะตอม.
• ไวยากรณ์ & quot; ... & quot; ถูกแมปในขณะนี้เพื่อสตริง สายเข้ากันได้กับ Eclipse (ขอบคุณโจอาคิม Schimpf สำหรับการอภิปรายทั้งหมด) แบบดั้งเดิมรหัสรายการจะถูกสร้างขึ้นโดยใช้ .... ธง double_quotes back_quotes และควบคุมพฤติกรรมนี้.
• ขอบคุณที่ Torbjorn เบียร์เรามี & quot; & quot Pengines ;, เครื่องมือเปิดฉากบนเว็บ นี้จะให้ API ทั่วไปที่จะพูดคุยได้อย่างสะดวกสบายไปยังเซิร์ฟเวอร์เปิดฉากจาก JavaScript และกรณีเปิดฉากอื่น ๆ มันเปิดใช้งานหวด SWI-เปิดฉากในเบราว์เซอร์ของคุณ (http://swish.swi-prolog.org) เช่นเดียวกับ http://lpn.swi-prolog.org (เรียนรู้เปิดฉาก Now! กับ SWISH ฝัง).
• มาร์คัส Triska เพิ่ม CLP (ข) แก้ข้อ จำกัด บูลีนปรับตัวดีขึ้นของเขา CLP (FD) และก่อนที่จะปรับปรุงหลายระดับบนสุดที่จะจัดการกับข้อ จำกัด .
• ขอบคุณที่แมตต์ลิลลี่และไมค์ Elston มี CQL เป็น DSL (Domain Specific Language) สำหรับการรับมือกับ SQL CQL มีการพัฒนาในสภาพแวดล้อมที่ซับซ้อนฐานข้อมูล SQL เป็นบรรทัดฐานและดังนั้นจึงสนับสนุนเซตใหญ่ของ SQL และสามารถจัดการกับตารางที่มีมากมายของคอลัมน์และสิ่งอื่น ๆ ที่ผู้ใช้ SQL ocasional จะไม่คาดหวัง.
• ลิลลี่แมตต์ที่ดีขึ้นอย่างมีนัยสำคัญการสนับสนุนเครือข่ายรวมถึงการสนับสนุนที่ดีมากสำหรับ SSL และสนับสนุนทั่วไปทั้ง HTTP และถุงเท้าเซิร์ฟเวอร์พร็อกซี่.
• หลายคนได้ให้ add-on (แพ็ค) ที่พึ่งพา SWI-เปิดฉาก 7 รุ่น.

มีอะไรใหม่ ในรุ่น 7.2.0 / 7.3.1-dev:

• ประเภทกิงดิคใหม่ และไวยากรณ์ให้ทั้งเวลาและพื้นที่แผนที่ค่าชื่อมีประสิทธิภาพด้วยไวยากรณ์ที่น่าพอใจ.
• เป็นผลให้มันเป็นสิ่งจำเป็นที่จะเปลี่ยนคอนสตรัรายการ (H, T) โดย (ยังอยู่ในการใช้งานโดยเมอร์) '[|]. (H, T) ที่อาจดูเหมือนรุนแรง แต่ในทางปฏิบัติมีผลกระทบเฉพาะโปรแกรมไม่กี่สะดุดตาทำ functor (ระยะ, F, A) ในรายการแล้วเลือกการประมวลผลเพิ่มเติมเกี่ยวกับ F == '.', A == 2. เมื่อต้องการเปิดรายการมากขึ้นเป็น สร้างพิเศษ [] ยังคงเป็นรายการที่ว่างเปล่า แต่อีกไม่นานเช่นเดียวกับ '[] คือ [] ไม่ได้อยู่ที่อะตอม.
• ไวยากรณ์ & quot; ... & quot; ถูกแมปในขณะนี้เพื่อสตริง สายเข้ากันได้กับ Eclipse (ขอบคุณโจอาคิม Schimpf สำหรับการอภิปรายทั้งหมด) แบบดั้งเดิมรหัสรายการจะถูกสร้างขึ้นโดยใช้ .... ธง double_quotes back_quotes และควบคุมพฤติกรรมนี้.
• ขอบคุณที่ Torbjorn เบียร์เรามี & quot; & quot Pengines ;, เครื่องมือเปิดฉากบนเว็บ นี้จะให้ API ทั่วไปที่จะพูดคุยได้อย่างสะดวกสบายไปยังเซิร์ฟเวอร์เปิดฉากจาก JavaScript และกรณีเปิดฉากอื่น ๆ มันเปิดใช้งานหวด SWI-เปิดฉากในเบราว์เซอร์ของคุณ (http://swish.swi-prolog.org) เช่นเดียวกับ http://lpn.swi-prolog.org (เรียนรู้เปิดฉาก Now! กับ SWISH ฝัง).
• มาร์คัส Triska เพิ่ม CLP (ข) แก้ข้อ จำกัด บูลีนปรับตัวดีขึ้นของเขา CLP (FD) และก่อนที่จะปรับปรุงหลายระดับบนสุดที่จะจัดการกับข้อ จำกัด .
• ขอบคุณที่แมตต์ลิลลี่และไมค์ Elston มี CQL เป็น DSL (Domain Specific Language) สำหรับการรับมือกับ SQL CQL มีการพัฒนาในสภาพแวดล้อมที่ซับซ้อนฐานข้อมูล SQL เป็นบรรทัดฐานและดังนั้นจึงสนับสนุนเซตใหญ่ของ SQL และสามารถจัดการกับตารางที่มีมากมายของคอลัมน์และสิ่งอื่น ๆ ที่ผู้ใช้ SQL ocasional จะไม่คาดหวัง.
• ลิลลี่แมตต์ที่ดีขึ้นอย่างมีนัยสำคัญการสนับสนุนเครือข่ายรวมถึงการสนับสนุนที่ดีมากสำหรับ SSL และสนับสนุนทั่วไปทั้ง HTTP และถุงเท้าเซิร์ฟเวอร์พร็อกซี่.
• หลายคนได้ให้ add-on (แพ็ค) ที่พึ่งพา SWI-เปิดฉาก 7 รุ่น.

มีอะไรใหม่ ในรุ่น 6.6.6 / 7.1.37:

• การประมวลผลของ # !, มีผลผูกพัน ไฟล์ล่าม Unix ต์ไม่ได้พยายามที่จะเป็นสมาร์ทเกี่ยวกับตัวเลือกการประมวลผลเพื่อล่าม ผลกระทบของการเปลี่ยนแปลงนี้จะขึ้นอยู่กับรุ่นที่ใช้ระบบปฏิบัติการยูนิกซ์. บางเพียง แต่ผ่านตัวเลือกแรกที่คนอื่น ๆ แพ็คตัวเลือกทั้งหมดเข้าเป็นหนึ่งเดียวและยังคนอื่น ๆ ผ่านตัวเลือกหลังจากทำลายพวกเขา
• ธงเปิดฉาก argv เพียง แต่ให้การขัดแย้งที่ยังไม่ได้รับการประมวลผลโดยเปิดฉาก.
• ไฟล์ init .plrc (pl.ini บน Windows) จะค้นหาไม่มีอีกต่อไปสำหรับในไดเรกทอรีการทำงานเพื่อความปลอดภัย.

มีอะไรใหม่ ในรุ่น 6.6.6 / 7.1.31:

• การประมวลผลของ # !, มีผลผูกพัน ไฟล์ล่าม Unix ต์ไม่ได้พยายามที่จะเป็นสมาร์ทเกี่ยวกับตัวเลือกการประมวลผลเพื่อล่าม ผลกระทบของการเปลี่ยนแปลงนี้จะขึ้นอยู่กับรุ่นที่ใช้ระบบปฏิบัติการยูนิกซ์. บางเพียง แต่ผ่านตัวเลือกแรกที่คนอื่น ๆ แพ็คตัวเลือกทั้งหมดเข้าเป็นหนึ่งเดียวและยังคนอื่น ๆ ผ่านตัวเลือกหลังจากทำลายพวกเขา
• ธงเปิดฉาก argv เพียง แต่ให้การขัดแย้งที่ยังไม่ได้รับการประมวลผลโดยเปิดฉาก.
• ไฟล์ init .plrc (pl.ini บน Windows) จะค้นหาไม่มีอีกต่อไปสำหรับในไดเรกทอรีการทำงานเพื่อความปลอดภัย.

สิ่งที่ใหม่ ในรุ่น 6.4.0:

• ปรับปรุงห้องสมุด RDF กับรุ่น 3 ทุกคนดูแล เกี่ยวกับ RDF อาจจะเป็นอยู่แล้วโดยใช้รุ่นพัฒนาด้วยเหตุนี้ ที่เพิ่มเข้ามาอย่างรวดเร็วสำหรับ parsers ntriples เต่าและรูปแบบหนุน.
• แนะนำเสมือนใบเสนอราคาสำหรับการรวมราบรื่นและปลอดภัยของตัวอย่างภาษาภายนอก
• อัพเกรดของ PlDoc ที่จะยอมรับร่วมกันสร้าง markdown.
• การปรับปรุงหลายเครื่องมือในการพัฒนาห้องสมุด HTTP, แพคเกจคลิป ฯลฯ การสนับสนุนที่ดีขึ้นสำหรับกระบวนการภูต Unix (syslog, โพสต์ / จัดการ GID ฯลฯ .)
• เริ่มต้นสำหรับการจัดการสถานที่ A (​​สนับสนุนรูปแบบ / 3 สะดุดตาเขียนสถานจำนวนเต็มขนาดใหญ่ที่เฉพาะเจาะจง.
• จำนวนมากของสิ่งที่มีความมั่นคง. เกิดความผิดพลาดคงที่แพทช์พกพาสร้างการปรับปรุงระบบ ฯลฯ

มีอะไรใหม่ ในรุ่น 6.2.0:

• รุ่นเริ่มต้นของ `แพ็คผู้จัดการแพคเกจ
• การจัดการแฟ้มแหล่งที่ดีขึ้นโดยเฉพาะอย่างยิ่ง WRT - รวมถึง (แฟ้ม)
.
• แก้ไขหลายดีบักการปรับปรุงการจัดการแหล่งที่มาและเหตุผลที่ตัดสินใจที่พอร์ตจะถูกซ่อน.
• Windows รุ่นนี้สร้างโดยใช้โครงการคอมไพเลอร์ MinGW ผลในการเพิ่มความเร็ว 10-20% การปรับปรุง swipl-win.exe คอนโซล. คัดลอก / วางและการสนับสนุนสี

มีอะไรใหม่ ในรุ่น 6.0.0:

• ไดนามิกเพียงในเวลาการจัดทำดัชนีในหลายข้อโต้แย้ง .
• ใจลอยจำนวนมากของ API การพัฒนา, การสนับสนุน IDE PDT.
• จำนวนของการทำความสะอาด, การแก้ไขข้อผิดพลาด ฯลฯ .

มีอะไรใหม่ ในรุ่น 5.11.20:.

• ลดการใช้กองเส้นทาง
• ให้เก็บขยะ generational.

มีอะไรใหม่ ในรุ่น 5.11.10:

• ลดการใช้เส้นทางกอง (บางส่วน)
• ให้เก็บขยะ generational.

มีอะไรใหม่ ในรุ่น 5.11.9:

• ลดการใช้เส้นทางกอง (บางส่วน)
• ให้เก็บขยะ generational.

มีอะไรใหม่ ในรุ่น 5.10.0:

• แพลตฟอร์มทั้งหมดตอนนี้ใช้การตั้งชื่อที่สอดคล้องกัน SWI-เปิดฉากปฏิบัติการที่เรียกว่า swipl, ลิงเกอร์ swipl-LD และผู้จัดการ resouce ไฟล์ swipl RC-.
• สแต็คใหม่หน่วยความจำการบริหารจัดการที่จะขึ้นอยู่กับสแต็คขยับมากกว่าการจัดสรรกองเบาบางในเสมือนที่อยู่พื้นที่ การเปลี่ยนแปลงนี้จะช่วยให้การขยายขีดความสามารถที่ดีมากในจำนวนของหัวข้อดังนั้นเราจึงยังออกวงเงินด้ายเก่า 100 กองข้อ จำกัด ในขณะนี้สามารถยกและลดลงที่รันไทม์ใช้ set_prolog_stack / 2.
• เริ่มต้นสแต็คขนาดวงเงินอยู่ในขณะนี้ 128MB ต่อสแต็คใน 32 บิตและ 256Mb กับฮาร์ดแวร์ 64 บิต.
• การรั่วไหลอย่างกว้างขวางและการทดสอบความเครียดมีการแก้ไขตัวเลขของการรั่วไหลและเงื่อนไขการแข่งขันทำให้ระบบประสิทธิภาพมากขึ้นในการตั้งค่าเซิร์ฟเวอร์ 24x7.
• เริ่มต้นที่ได้รับการทำเพื่อหลีกเลี่ยงการใช้ C-กอง recursing เข้าเงื่อนไข นี้จะช่วยให้การประมวลผลแง่อื่น ๆ อีกมากมายที่ซ้อนกันอย่างล้ำลึกและให้ยกเว้นสะอาดถ้ามีทรัพยากรเพียงพอที่จะสำรวจคำ ยังคงมีมากที่จะทำในพื้นที่นี้.
• SWI-เปิดฉาก 5.10.0 แนะนำการอ้างอิงถึงข้อตกลงความปลอดภัยฐานข้อมูล (assertz / 2, Recordz / 3) และลำธาร (เปิด / 3).
• จำนวนของตัวแปรในคำสั่งจะถูก จำกัด ในขณะนี้เพื่อ 1,000,000,000; นี้คือ 65535 นอกจากนี้ระบบให้ข้อยกเว้นที่สง่างามเมื่อพบข้อผิดพลาดทรัพยากรหรือพยายามที่จะยืนยันคำที่ผิดกฎหมายเช่นแง่วงจร.
• ความเข้ากันได้กับทั้งเห่าและ SICStus จะเพิ่มขึ้น.

มีอะไรใหม่ ในรุ่น 5.8.2:

• CLEANUP: การดำเนินงานและเอกสารของอินเตอร์เฟซสัญญาณ
• ถาวร:. ใช้ --nopce / - สำหรับ PCE (DIS) ช่วยให้กราฟิก
• ถาวร: GC-ข้อผิดพลาด; ละเว้นลอก uwrite บิตจากสแต็คอาร์กิวเมนต์
• แก้ไข: ถอด abort_with_exception ธงเปิดฉาก; มันไม่ได้ใช้.
• ถาวร: หลีกเลี่ยงการหยุดชะงักในขณะที่พยายามที่จะออกหลังจากที่มีข้อผิดพลาดร้ายแรง
.
• แก้ไข: is_set / 1 ตอนนี้ใช้การจัดเรียง / 2 เป็นผลให้ตัวแปรที่ใช้ร่วมกันที่ไม่ได้รับการพิจารณาองค์ประกอบที่แตกต่างกัน สั่งซื้อที่มีเข้าสู่ระบบ N * (N) และคำกริยาอาจจะกลับมาเป็นทรัพยากรที่ผิดพลาด.
• ถาวร: หลังจาก -.. โมดูล (x) ให้ทำญาติเป้าหมายการขยายตัวโมดูล x
• CLEANUP: Item # 547:. ต้องพูดภาคที่ไม่ได้กำหนดและทางเลือก
• DOC ชี้แจง current_arithmetic_function / 1
.
• DOC: ให้ snippit ว่างสำหรับฟังก์ชั่น C-
• ถาวร: เรียบง่ายก่อนหน้าผู้ดูแลระบบเสียหายตัวแปรของคอมไพเลอร์ นอกจากนี้ยังเพิ่มการทดสอบกรณี.
• ถาวร: Bug # 436: รวมตัวแปรด้วยตัวเองสร้างห่วงอ้างอิง
.

สิ่งที่ใหม่ ในรุ่น 5.7.14:

• ถาวร: ข้าม referencer ที่จะแยกแยะ: 0 ในการประกาศเมตากริยา
• CLEANUP: ใช้ meta_predicate สำหรับ predsort / 3
• แก้ไข: ให้ / 0 ตอนนี้สแกนเฉพาะสำหรับการอ้างอิงถึงภาคที่ไม่ได้กำหนดในโมดูลที่มีพวกเขา list_undefined / 0 ยังคงค้นหาทั่วโลก.
• ENHANCED: CLP (FD). ​​Arc-สอดคล้อง global_cardinality / 2 คู่ถ้าเป็นครั้งแรกพื้นดิน
• ถาวร: จับ (multifile) predicates ที่คำสั่งบางคนมีร่างกายของพวกเขาในโมดูลอื่นและบางส่วนในเดียวกัน แมตต์ลิลลี่.
• เพิ่ม:% [& # x3c; n & # x3e;] รูปแบบ f เพื่อ format_time / 3 ที่จะจัดการกับเศษของวินาที ที่ใช้โดยส่วนขยายของการแก้ปัญหาใหม่.
• เพิ่ม: debug_message_context (+ | -Context) เพื่อระบุบริบทเพิ่มเติมสำหรับข้อความแก้ปัญหา (เช่นการประทับเวลา)
.
• ถาวร: ตรวจ apply_macros ทำขยายตัวเป้าหมายในบริบทของโมดูลระบบ
• ENHANCED: CLP (FD): เร็ว global_cardinality / 2 ถ้าคู่คีย์ Num เป็นพื้นดิน
.
• ถาวร: จัดการกับผู้ประกอบการที่มีความสำคัญในการพิมพ์คำตอบ มาร์คัส Triska.
• ENHANCED: ใช้ตัวเลือกการพิมพ์สำหรับเป้าหมายระดับบนสุดที่เหลือการดำเนินการทำความสะอาด
• ENHANCED: ตรวจ term_variables term_attvars และมีประสิทธิภาพถ้ารายการจะได้รับ (สะดุดตา term_attvars (ระยะ, []))
.
• ENHANCED: ทำฐานข้อมูลที่บันทึกไว้ใช้รหัสใหม่ระยะวอล์คเกอร์
• ENHANCED: การตั้งค่าครั้งแรกของโครงกระดูกภายในสำหรับเงื่อนไขการใช้ห่วงค่อนข้างง่ายกว่าขั้นตอนการเรียกซ้ำ ตอนนี้ในการใช้งานสำหรับ term_variables / 2 และภาคที่เกี่ยวข้อง เค้าร่างที่ปรากฏเพียงพอ แต่รหัสแบ่งสแต็คจะต้องเพิ่มประสิทธิภาพอย่างมาก ในฐานะที่เป็น term_variables / 2 ช้าลงเล็กน้อย (5%) แต่ก็สามารถจัดการกับเงื่อนไขที่ซ้อนกันอย่างลึกซึ้งกับหน่วยความจำน้อยมากและไม่ล้นสแต็ค.
• เพิ่ม: term_attvars / 2 สำหรับการสนับสนุนที่ดีขึ้นของ copy_term / 3 หลังจากที่พูดคุยกับมาร์คัส Triska.
• เพิ่ม: del_attrs / 1 ลบ * * * * * * * * คุณลักษณะทั้งหมด ช่วยลดความยุ่งยาก copy_term / 3.

มีอะไรใหม่ ในรุ่น 5.7.12:

• การปรับปรุงผลการดำเนินงานเกี่ยวกับโปรแกรมที่มีขนาดใหญ่อยู่ระหว่าง 10 และ 40 % ขึ้นอยู่กับรูปแบบการเขียนโปรแกรม โดยเฉพาะอย่างยิ่งแก้ข้อ จำกัด กำไรอย่างมีนัยสำคัญ โปรแกรมขนาดเล็กที่บางครั้งแสดง speedups ใหญ่มาก.
• ตั้งแต่ 5.7.4 ระบบโมดูลการปรับปรุง
• การทำความสะอาดจำนวนมากในการตั้งชื่อและ modularization ของ codebase ได้.