Previous topic  Top  Next topic  Print this Topic
 

Maximal Query Evaluation Time: timeout

 

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.