文字列が回文かどうかをテストするプログラムを SWI Prolog で作成しました。DCG でのこのタスクは、私が把握できたもので、非常に簡単なものでした。
palindrome --> [X], palindrome, [X].
palindrome --> [X],[X].
palindrome --> [X].
スペースを無視するルールを書きたいのですが、しばらく検索しても、探していたものと実際に一致するものはありませんでした。私はまだDCGにかなり慣れていないので、洞察をいただければ幸いです。