guregu / trealla

A compact, efficient Prolog interpreter written in plain-old C (Wasm experimental fork).
https://php.energy/trealla.html
MIT License
5 stars 1 forks source link

Force a query to yield? #7

Closed guregu closed 3 months ago

guregu commented 2 years ago

For the Go port, we can run a timeout and a query in different coroutines, but even if the timeout triggers and stops the query call from blocking, there will still be a coroutine trying its best to run the query. We can probably use interrupts or something to force it to yield or die.

guregu commented 3 months ago

Done & stable now