Prolog Language Constraint Logic Programming