特定のクエリの検索ツリーを描画する方法と、プロローグでコードをトレースする方法を知る必要があります。以下に例を示します。
mystery([], []).
mystery([b,a|XS], [z,z|YS]) :- mystery(XS, YS).
mystery([X|XS], [X|YS]) :- mystery(XS, YS).
a) 次のクエリの検索ツリーを描画します。
?- mystery([b,a,b,a,b], Z).
4478 次
特定のクエリの検索ツリーを描画する方法と、プロローグでコードをトレースする方法を知る必要があります。以下に例を示します。
mystery([], []).
mystery([b,a|XS], [z,z|YS]) :- mystery(XS, YS).
mystery([X|XS], [X|YS]) :- mystery(XS, YS).
a) 次のクエリの検索ツリーを描画します。
?- mystery([b,a,b,a,b], Z).