logic programming, functional programming, constraint logic programming and logic grammars) To investigate the uses of these tools for concrete Fifth Generation Computing applications, and to ...