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！