3 ms·it's not that weird, this taken to its logical conclusion is effectively prolog's execution modelby nagaiaida 1y agoit's not that weird, this taken to its logical conclusion is effectively prolog's execution model