BousiProlog

swMATH43733MaRDI QIDQ5972408

No author found.

Described by source

• A sound and complete semantics for a similarity-based logic programming language
• Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

Related Items (2)

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

This page was built for software: BousiProlog