日常の諸問題の解決にPrologを使っている人はいる?