我在java和c中的程序，我是prolog中的新手。
我怎么知道布尔表达式是真还是假？
has_pellet([[Xpellet,Ypellet]|_], Xpacman, Ypacman):- Xpacman = Xpellet, Ypacman = Ypellet, !.
has_pellet([_|Restpellets], Xpacman, Ypacman):- has_pellet(Restpellets,Xpacman,Ypacman).
示例：
此命令的结果为false，我不明白为什么，因为has_pellet([[1,2]],1,2)为真。我该如何验证？
has_pellet([[1,2]],1,2)==true.
感谢。