BousiProlog

swMATH43733MaRDI QIDQ5972408FDOQ5972408

Author name not available (Why is that?)

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