julianmendez/uel

Asynchronous UI

Opened this issue · 0 comments

stefborg commented

TODO: Implement asynchronous user interface to the UnificationAlgorithms, to be able to stop the computation of unifiers if it takes too long.