Abstract Similarity-based Logic Programming has been proposed to enhance the Logic
Programming paradigm with similarity relations, in order to represent and manage vague or …

The fuzzy logic programming language Bousi∼ Prolog extends Prolog with a weak
unification algorithm based on proximity relations and truth degree annotations. The weak …

Abstract Similarity-based Logic Programming replaces the syntactic unification algorithm of
classical SLD-resolution by a fuzzy one, leading to an operational mechanism that we name …

In this paper we present the main features and implementation details of a programming
language that we call Bousi~ Prolog. It can be seen as an extension of Prolog able to deal …

The FASILL programming language (acronym of “Fuzzy Aggregators and Similarity Into a
Logic Language”) combines a weak unification algorithm, based on similarity relations …

Bousi~ Prolog is an extension of the standard Prolog language with an operational
semantics which is an adaptation of the SLD resolution principle where classical unification …

This work proposes a declarative semantics based on a fuzzy variant of the classical notion
of least Herbrand model for the so-called FASILL programming language (acronym of …

Bousi~ Prolog is a fuzzy logic programming language whose main objective is to make
flexible the query answering process. Its operational mechanism is a extension of the SLD …

Bousi~ Prolog is a fuzzy logic programming language with an operational semantics which
is an adaptation of the SLD resolution principle, where classical unification has been …

FASILL (acronym of" Fuzzy Aggregators and Similarity Into a Logic Language") is a fuzzy
logic programming language with implicit/explicit truth degree annotations, a great variety of …