We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but
increasingly a community project. The core system has been shaped to its current form while …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

The promise of logic programming is that programs can be written relationally, without
distinguishing between input and output arguments. Relational programs are remarkably …

Language Oriented Programming (LOP) is a paradigm that puts domain specific
programming languages (DSLs) at the center of the software development process …

Over the past three decades, the logic programming paradigm has been successfully
expanded to support probabilistic modeling, inference and learning. The resulting paradigm …

Logic programming is a flexible programming paradigm due to the use of predicates without
a fixed data flow. To extend logic languages with the compact notation of functional …

We present the RFuzzy framework, a Prolog-based tool for representing and reasoning with
fuzzy information. The advantages of our framework in comparison to previous tools along …

Meta-interpretive learning (MIL) is a form of inductive logic programming that learns logic
programs from background knowledge and examples. We claim that adding types to MIL …

In this paper we present a new static data type inference algorithm for logic programming.
Without the need for declaring types for predicates, our algorithm is able to automatically …