prolog

นี่คืออะไร?

ichiban/prolog เป็นล่าม ISO Prolog ที่ฝังได้ใน Go

• เป็นไปตามมาตรฐาน:
  • ISO/IEC 13211-1:1995 เทคโนโลยีสารสนเทศ — ภาษาโปรแกรม — คำนำ — ส่วนที่ 1: แกนกลางทั่วไป
  • อารัมภบทสำหรับอารัมภบท
  • DCG
• บูรณาการได้ง่าย: database/sql เหมือน Go API
• ปรับแต่งได้สูง:
  • แซนด์บ็อกซ์
  • เพรดิเคตแบบกำหนดเองใน Go
  • ข้อกำหนดที่กำหนดเอง (ประเภทข้อมูล) ใน Go

เปรียบเทียบกับห้องสมุดอื่น

	อารัมภบท	อ็อตโต	โก-ลัวะ
ภาษา	ISO อารัมภบท	สคริปต์ ECMA	ลัวะ
กระบวนทัศน์	- ตรรกะ	เชิงวัตถุ	เชิงวัตถุ
ไปที่ API	- database/sql -like	ต้นฉบับ	ต้นฉบับ
ประกาศ
แซนด์บ็อกซ์

เริ่มต้นใช้งาน

ติดตั้งเวอร์ชันล่าสุด

 go get -u github.com/ichiban/prolog

การใช้งาน

สร้างอินสแตนซ์ของล่าม

 p := prolog . New ( os . Stdin , os . Stdout ) // Or `prolog.New(nil, nil)` if you don't need user_input/user_output.

หรือ หากคุณต้องการล่ามแซนด์บ็อกซ์ที่ไม่มีเพรดิเคตในตัว:

 // See examples/sandboxing/main.go for details.
p := new (prolog. Interpreter )

โหลดโปรแกรม Prolog

 if err := p . Exec ( `
	human(socrates).       % This is a fact.
	mortal(X) :- human(X). % This is a rule.
` ); err != nil {
	panic ( err )
}

คล้ายกับ database/sql คุณสามารถใช้placeholder ? เพื่อแทรกข้อมูล Go เป็นข้อมูล Prolog

 if err := p . Exec ( `human(?).` , "socrates" ); err != nil { // Same as p.Exec(`human("socrates").`)
	panic ( err )
}

เรียกใช้โปรแกรม Prolog

 sols , err := p . Query ( `mortal(?).` , "socrates" ) // Same as p.Query(`mortal("socrates").`)
if err != nil {
	panic ( err )
}
defer sols . Close ()

// Iterates over solutions.
for sols . Next () {
	fmt . Printf ( "Yes. n " ) // ==> Yes.
}

// Check if an error occurred while querying.
if err := sols . Err (); err != nil {
	panic ( err )
}

หรือถ้าคุณต้องการค้นหาค่าตัวแปรสำหรับแต่ละโซลูชัน:

 sols , err := p . Query ( `mortal(Who).` )
if err != nil {
	panic ( err )
}
defer sols . Close ()

// Iterates over solutions.
for sols . Next () {
	// Prepare a struct with fields which name corresponds with a variable in the query.
	var s struct {
		Who string
	}
	if err := sols . Scan ( & s ); err != nil {
		panic ( err )
	}
	fmt . Printf ( "Who = %s n " , s . Who ) // ==> Who = socrates
}

// Check if an error occurred while querying.
if err := sols . Err (); err != nil {
	panic ( err )
}

ภาษาเริ่มต้น

ichiban/prolog เป็นไปตามมาตรฐาน ISO และมาพร้อมกับภาคแสดง ISO รวมถึงภาคแสดง Prolog และ DCG

ดู Wiki สำหรับคำสั่งและเพรดิเคตในตัว

ระดับบนสุด

1pl เป็นคำสั่งระดับทดลองระดับบนสุดสำหรับทดสอบภาษาเริ่มต้นและความสอดคล้องกับมาตรฐาน ISO

คุณสามารถติดตั้งได้ด้วย go install :

 go install github.com/ichiban/prolog/cmd/1pl@latest

จากนั้นคุณสามารถเข้าสู่ระดับบนสุดด้วย 1pl :

 $(go env GOPATH)/bin/1pl [<file>...] 

ส่วนขยาย

• เพรดิเคต: เพรดิเคตดั้งเดิมสำหรับ ichiban/prolog
• kagomelog: ภาคแสดงการวิเคราะห์ทางสัณฐานวิทยาของญี่ปุ่น

ใบอนุญาต

เผยแพร่ภายใต้ใบอนุญาต MIT ดู LICENSE สำหรับข้อมูลเพิ่มเติม

มีส่วนร่วม

ดู ARCHITECTURE.md สำหรับรายละเอียดสถาปัตยกรรม

1. แยกมัน (https://github.com/ichiban/prolog/fork)
2. สร้างสาขาคุณลักษณะของคุณ (git checkout -b คุณลักษณะ/fooBar)
3. ยอมรับการเปลี่ยนแปลงของคุณ (git commit -am 'Add some fooBar')
4. พุชไปที่สาขา (ฟีเจอร์ git push origin/fooBar)
5. สร้างคำขอดึงใหม่

รับทราบ

เราอยากจะขอขอบคุณบุคคลต่อไปนี้สำหรับการมีส่วนร่วมในโครงการนี้:

• guregu สำหรับการเขียนโค้ดและไอเดีย
• Markus Triska สำหรับความรู้เชิงลึกและข้อมูลเชิงลึกเกี่ยวกับ Prolog สมัยใหม่ ซึ่งเห็นได้จากความคิดเห็นที่ลึกซึ้งในประเด็นต่างๆ
• ศาสตราจารย์ Ulrich Neumerkel สำหรับคำแนะนำอันทรงคุณค่า ผลงานของเขาเกี่ยวกับมาตรฐาน ISO, Prologue for Prolog และ DCG

เราขอขอบคุณสำหรับการสนับสนุนและการมีส่วนร่วมของทุกคนที่เกี่ยวข้องในโครงการนี้ อาริกาโตะ โกไซมัส!