Non-determ predicates implimented in foreign code
Posted: 31 May 2022 13:49
Is there a way to impliment non-determ predicates in foreign languages?
I imagine it would need some way of informing the foreign languages of Initial call, Redo call and Terminate call; or similar.
I imagine it would need some way of informing the foreign languages of Initial call, Redo call and Terminate call; or similar.