BousiProlog

swMATH43733MaRDI QIDQ5972408FDOQ5972408

Author name not available (Why is that?)

Described by source

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

Cited In (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