prolog - 論理プログラミング - 関数記号が 1 つだけのサブセットはチューリング - 完全ですか?

Question

関数シンボルを 1 つだけ含む論理プログラミングのサブセットがある場合、すべてを実行できますか?

できないとは思いますが、まったく自信がありません。プログラミング言語は、チューリング完全言語であれば、ユーザーが望むことは何でもできます。これは、if..then..elseコマンド、再帰を実行できなければならないことを意味し、自然数を定義する必要があることを教えられました。

ヘルプや意見をいただければ幸いです。