The C programming language
Information retrieval based on fuzzy associations
Fuzzy Sets and Systems - On fuzzy information and database systems
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
From logic programming to Prolog
From logic programming to Prolog
Likelog: a logic programming language for flexible data retrieval
Proceedings of the 1999 ACM symposium on Applied computing
Proximity relations in the fuzzy relational database model
Fuzzy Sets and Systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Fundamenta Informaticae
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
OntoSeek: Content-Based Access to the Web
IEEE Intelligent Systems
ConceptNet — A Practical Commonsense Reasoning Tool-Kit
BT Technology Journal
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Classifying unlabeled short texts using a fuzzy declarative approach
Language Resources and Evaluation
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II
A Fuzzy linguistic prolog and its applications
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
In this paper we present the main features and implementation details of a programming language that we call Bousi~Prolog. It can be seen as an extension of Prolog able to deal with similarity-based fuzzy unification (''Bousi'' is the Spanish acronym for ''fuzzy unification by similarity''). The main goal is the implementation of a declarative programming language well suited for flexible query answering. The operational semantics of Bousi~Prolog is an adaptation of the SLD resolution principle where classical unification has been replaced by an algorithm based on similarity relations defined on a syntactic domain. A similarity relation is an extension of the standard notion of equivalence relation and it can be useful in any context where the concept of equality must be weakened. Hence, the syntax of Bousi~Prolog is an extension of the Prolog's language: in general, a Bousi~Prolog program is a set of Prolog clauses plus a set of similarity equations.