Thanks for that interesting write up! This makes me want to toy around with Tau and Scryer Prolog.