Title: A technique for solving constraint satisfaction problems using Prolog's definite clause grammars
Subjects: Computer programs