Title: Technique for Solving Constraint Satisfaction Problems Using Prolog's Definite Clause Grammars