The Logic Programming Paradigm: A 25-Year Perspective

摘要: This exciting new text reveals both the evolution of this programming paradigm since its inception and impressively broad scope current research in field. The contributors to book are all leading world experts Logic Programming, they deal with theoretical practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing dynamical database an alternative "formulas as types" approach, program semantics analysis, natural language processing. XXXXXXX Neuer Text Programming was founded 25 years ago. research. contributions by computer scientists semantics, processing, promising future directions.