Minimal consult + interactive query loop: ?- prompts for a goal, prints each solution's bindings, and (matching real Prolog UX) offers ; for the next solution or any other input to stop.