Prolog: Under the Hood

I think there's a keming issue in the first code listing. But in reverse.