Interface Prolog