(Generic) Packages for Logic Programs

Logic programming is a programming paradigm that has been widely adopted for software development in the domain of artificial intelligence (natural language processing, planning, solving, etc). Even if pure logic programming has been superseded by other families of programming languages (constraint logic programming, description logic, etc) it remains the core of many researches. However, while the imperative programming languages have seen the development of many concepts and tools for software development on a large scale, the logic programming languages have remained relatively impervious to such considerations and they have not really received benefits of research in the domain of software engineering. In this paper we present the p-Prolog language offering robust techniques from research in software engineering that led to the design of the ADA language. After presenting the syntax of the language, we present its semantics using transition rules extending those of the SLD-resolution.