Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

DOI10.1017/S1471068421000405OpenAlexW3212446170WikidataQ115049559 ScholiaQ115049559MaRDI QIDQ5019608

Pascual Julián-Iranzo, Fernando Sáenz-Pérez

Publication date: 10 January 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.03602

zbMATH Keywords

fuzzy logic programminghypothetical reasoningsystem implementationfuzzy prologBousi\(\sim\)Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

BousiProlog

Uses Software

• Likelog
• SWI-Prolog

Cites Work

• A sound and complete semantics for a similarity-based logic programming language
• Approximate reasoning by similarity-based SLD resolution.
• SWI-Prolog
• An Efficient Unification Algorithm
• A similarity-based resolution rule

This page was built for publication: Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog