Sometimes you will want to stop a query after a specific amount of time. The "timeout" query option allows you to do this:

@{q1, options[timeout(2000)]} ?- ?X::?Y.

This query will be stopped after 2 seconds.