NI constraints
calling prolog in debug and trace mode