string - アトムがパターンで始まっているかどうかを知る方法は?

Question

たとえば、次の述語を取得した場合:

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

そして、「bo」で始まる名前が誰の父親なのか知りたいのですが？

Answer 1

atom_concat/3ISO Prolog 標準の組み込み述語である を使用するだけです。

Answer 2

別の ISO オプションはsub_atom/5次のとおりです。

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

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

と比較してatom_concat/3、これは接尾辞を表すために不要なアトムの生成を回避します。