A Programming Environment for Bousi-Prolog

BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on proximity relations. Unicorn is a programming environment for the BousiProlog language. This environment will provide resources to edit, save, open, compile and run BousiProlog programs comfortably, in addition to various options for supporting programmers: commands, directives and visualization windows. In this paper we summarize the main features of the Unicorn environment and we provide some insides about its implementation.

• Type: Journal
• Year: 2010
• Where: ICAI
• Authors: Pascual Julián Iranzo, Clemente Rubio-Manzano
• Keywords: Artificial Intelligence, Fuzzy Unification Algorithm, ICAI 2010, SLD Resolution Principle, Standard Prolog Language