"Getting started quickly" should point the user to a description/tutorial/howto of Prolog in subheading 0.
I suppose many students doing their required Prolog course (which they will then never encounter again) come here but are then stranded on the beach, like Sam.
There are quite a few in the annex:
Or maybe there should be a page "IF YOU ARE COMING HERE DUE TO MANDATORY COURSES..."
Also, the predicate "check/0" may come in handy: