This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with t

This book features high-quality, peer-reviewed papers from the 28th International Conference Systems Engineering (ICSEng 2021), held at Wrcław University of Sc

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersb

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in Ja

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neu