Title: Modes and types for Prolog