Ah Prolog. So the full circle back to expert systems is complete now, yeah?