Restricting running time in SICStus Prolog

StackOverflow https://stackoverflow.com/questions/4221419

  •  26-09-2019
  •  | 
  •  

문제

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

도움이 되었습니까?

해결책

You can use the time_out predicate :

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

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top