Search code examples
sicstus-prolog

Restricting running time in SICStus Prolog


Is it possible to restrict the running time of a query in SICStus Prolog?


Solution

  • You can use the time_out predicate :

    http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_42.html