by Giorgio Levi
Logic programming has emerged over the last 15 years as one of the most promising new programming paradigms and as a very active research area. The PROLOG experience has shown that relevant problem…