Map & Prolog initial impl.