prolog

這是什麼？

ichiban/prolog是Go中的嵌入式ISO Prolog解譯器。

• 符合標準：
  • ISO/IEC 13211-1:1995 資訊科技 — 程式語言 — Prolog — 第 1 部分：通用核心
  • Prolog 的序言
  • DCG
• 易於整合：類似database/sql的Go API
• 高度可自訂：
  • 沙盒
  • Go 中的自訂謂詞
  • Go 中的自訂術語（資料型別）

與其他庫的比較

	序言	奧托	戈盧阿
語言	ISO序言	ECMA腳本	盧阿
範例	？邏輯	物件導向	物件導向
去API	？類似database/sql	原來的	原來的
聲明式	✅
沙盒	✅		✅

入門

安裝最新版本

 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類似，你可以使用佔位符?將 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 謂詞的 Prologue。

有關指令和內建謂詞，請參閱 Wiki。

頂級

1pl是一個實驗性頂級指令，用於測試預設語言及其對 ISO 標準的遵從性。

您可以使用go install安裝它：

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

然後，您可以使用1pl進入頂層：

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

擴充

• predicates： ichiban/prolog 的原生謂詞。
• kagomelog：日文形態分析謂詞。

執照

根據麻省理工學院許可分發。請參閱LICENSE以了解更多資訊。

貢獻

有關架構詳細信息，請參閱ARCHITECTURE.md 。

1. 分叉它（https://github.com/ichiban/prolog/fork）
2. 建立您的功能分支（git checkout -b feature/fooBar）
3. 提交您的更改（git commit -am 'Add some fooBar'）
4. 推到分支（git push origin feature/fooBar）
5. 建立新的拉取請求

致謝

我們謹向以下個人對本計畫的貢獻表示感謝：

• guregu 貢獻程式碼和想法
• Markus Triska 對現代 Prolog 的深入了解和見解，他對問題的富有洞察力的評論證明了這一點
• Ulrich Neumerkel 教授提供了寶貴的指導、他在 ISO 標準、Prolog 的 Prologue 和 DCG 方面的工作。

我們感謝參與該專案的每個人的支持和貢獻。 Arigatou gozaimasu！