I’ve put a new tutorial at https://swish.swi-prolog.org/p/Graphs1.swinb looking at how to do problem solving (using the old cabbage, goat, wolf puzzle).
So far I only have one method, using breadthfirst search plagiarized from Ivan Bratko, but hope to gradually grow it. I’m keen to learn how to use SWI Prolog’s heap library, so will hopefully add that next.