I second this. When writing Prolog programs, the more you think procedurally, the more specific your programs will become in the sense that you can then typical

I second this. When writing Prolog programs, the more you think procedurally, the more specific your programs will become in the sense that you can then typically only use them in specific directions. To make your Prolog code as general as you can, I recommend to also think in terms of relations. This definitely takes effort, which pays off in the increased generality.