2 ms·Thanks for that interesting write up! This makes me want to toy around with Tau and Scryer Prolog.by tr352 7y agoThanks for that interesting write up! This makes me want to toy around with Tau and Scryer Prolog.