Prolog & others

More