Last commit before Prolog integration