prolog

これは何ですか？

ichiban/prolog Goに埋め込み可能なISO Prologインタープリターです。

• 規格準拠:
  • ISO/IEC 13211-1:1995 情報技術 — プログラミング言語 — Prolog — パート 1: 一般コア
  • プロローグのためのプロローグ
  • DCG
• 統合が簡単: database/sqlのような Go API
• 高度にカスタマイズ可能:
  • サンドボックス化
  • Go のカスタム述語
  • Go のカスタム用語 (データ型)

他の図書館との比較

	プロローグ	オットー	ゴルア
言語	ISO プロローグ	ECMA スクリプト	ルア
パラダイム	?論理	オブジェクト指向	オブジェクト指向
Go 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 述語に加えて、Prologue for Prolog および DCG 述語が付属しています。

ディレクティブと組み込み述語については、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:日本語の形態素解析述語。

ライセンス

MIT ライセンスに基づいて配布されます。詳細については、 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 に関する貴重なご指導をいただきました。

このプロジェクトに関わってくださった皆様のご支援とご貢献に感謝いたします。ありがとうございます！