BousiProlog

MaRDI QIDQ5972408swMATHFDO

Official website https://www.sciencedirect.com/science/article/abs/pii/S0957417422018760

Described by source

• A sound and complete semantics for a similarity-based logic programming language
• Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog

Cited in

(8)

• On the parameterized complexity of associative and commutative unification
• On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications
• Likelog
• Rfuzzy
• FPROLOG
• FRIL
• HOL90
• FASILL

This page was built for software: BousiProlog