An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro… - Theory and Practice of …, 2012 - cambridge.org
We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …
emphasizing some of the novel aspects and motivations behind its design and …
Swi-prolog
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 …
increasingly a community project. The core system has been shaped to its current form while …
Fifty years of Prolog and beyond
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 …
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …
Relational programming in miniKanren: techniques, applications, and implementations
WE Byrd - 2009 - search.proquest.com
The promise of logic programming is that programs can be written relationally, without
distinguishing between input and output arguments. Relational programs are remarkably …
distinguishing between input and output arguments. Relational programs are remarkably …
Cedalion: a language for language oriented programming
DH Lorenz, B Rosenan - Proceedings of the 2011 ACM international …, 2011 - dl.acm.org
Language Oriented Programming (LOP) is a paradigm that puts domain specific
programming languages (DSLs) at the center of the software development process …
programming languages (DSLs) at the center of the software development process …
Declarative probabilistic logic programming in discrete-continuous domains
Over the past three decades, the logic programming paradigm has been successfully
expanded to support probabilistic modeling, inference and learning. The resulting paradigm …
expanded to support probabilistic modeling, inference and learning. The resulting paradigm …
From logic to functional logic programs
M Hanus - Theory and Practice of Logic Programming, 2022 - cambridge.org
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 …
a fixed data flow. To extend logic languages with the compact notation of functional …
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
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 …
fuzzy information. The advantages of our framework in comparison to previous tools along …
Typed meta-interpretive learning of logic programs
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 …
programs from background knowledge and examples. We claim that adding types to MIL …
Data type inference for logic programming
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 …
Without the need for declaring types for predicates, our algorithm is able to automatically …