Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.