Pengarang: Gopal Gupta

Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and i …

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, …

…

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarati …

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.Th …