如何知道原子是否以模式开始？

Question

例如，如果我得到以下谓词：

father('jim', 'Boby')
father('rob', 'bob') 

我想知道谁有父亲的名字是以'bo'开头的？

Answer 1

只需使用{Prizo标准内置谓词atom_concat/3即可。

Answer 2

另一个ISO选项是sub_atom/5：

sub_atom(Atom, Before, Length, After, Sub_atom)

?- sub_atom(bob, 0, _, _, bo).
true.

与atom_concat/3相比，这避免了生成不需要的原子来表示后缀。