Update: After encouragement from Ovid, I've reposted this as the following root node: AI::Perlog Unification. Sorry for any inconvenience.