Trailed PROLOG