But more importantly: Did someone try to use Prolog to mend it?