ichiban/prolog QueryContext参数传递异常，如何正确传参？

核心问题出在参数类型不匹配：Prolog里的user、jobs这类标识是原子（atom）类型，但你用?占位符传递参数时，大概率把Go的字符串直接传了进去，而ichiban/prolog会将其解析为Prolog的字符串（带双引号的类型），和规则里的原子无法匹配，导致验证失败。

具体误区拆解 #

1. 直接传Go字符串：SWI-Prolog里写checkPerm(user, jobs, write)时，三个参数都是原子；但用占位符传Go字符串的话，会被识别为Prolog字符串（比如"user"），和规则里的user原子完全是两个不同的实体，自然匹配不上。
2. 加单引号的错误操作：你尝试给参数加单引号，会让Prolog把它当成名为'user'（带单引号）的原子，和原本的user原子不是同一个，所以还是不匹配。
3. engine.NewAtom的使用方式错误：如果只是创建了Atom但没正确作为Term传入QueryContext，也会导致类型不匹配。

正确的参数传递方式 #

要确保传递给占位符的是Prolog原子类型，以下是可运行的Go代码示例：

package main

import (
	"fmt"
	"github.com/ichiban/prolog/engine"
)

func main() {
	e := engine.NewEngine()

	// 加载RBAC规则文件
	if err := e.CompileFile("permissions.pl"); err != nil {
		panic(err)
	}

	// 先断言用户角色
	q, err := e.Query(`assert(hasRole(user, jobadmin)).`)
	if err != nil {
		panic(err)
	}
	q.Close()

	// 用engine.NewAtom创建Prolog原子类型的参数
	user := engine.NewAtom("user")
	resource := engine.NewAtom("jobs")
	action := engine.NewAtom("write")

	// 传入原子参数执行查询
	q, err = e.Query(`checkPerm(?, ?, ?).`, user, resource, action)
	if err != nil {
		panic(err)
	}
	defer q.Close()

	if q.Next() {
		fmt.Println("权限验证通过：true")
	} else {
		fmt.Println("权限验证失败：false")
	}
}

关键注意点 #

• 给engine.NewAtom传参时不要加单引号，直接传纯字符串即可，engine.NewAtom("user")对应Prolog里的原子user。
• 确保你的checkPerm/3规则里的参数都是原子类型，没有混用字符串（比如规则里写checkPerm(User, Resource, Action)，而非带引号的字符串）。
• ichiban/prolog的占位符?会严格匹配传入的Term类型，必须保证传入的Term类型和规则参数类型完全一致。

内容的提问来源于stack exchange，提问作者Corey Ogburn