Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
是否可以在 SICStus Prolog 中限制查询的运行时间?
您可以使用time_out谓词:
time_out
http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_42.html