Fuzzy Prolog based on Lukasiewicz implication and bounded product

Various versions of Prolog have used fuzzy theory-the so called fuzzy Prolog. Although various approaches to fuzzy Prolog have been proposed, there has been no common interpretation for fuzzifying Prolog. Yasui and Mukaidono (1994) consider from the user´s point of view what fuzzy Prolog has to be able to do and some approaches for fuzzifying Prolog which satisfy user´s postulates. LbFP is fuzzy Prolog which is based on these proposals and adopts Lukasiewicz´s for the implication operation and bounded product for the combination operation. In this paper, the authors first consider what fuzzy Prolog has to be able to do by using some examples. Next the authors explain some definitions and theorems for fuzzy logic programming which adopts Lukasiewicz´s for the implication operation and bounded product for the combination operation. Finally, the authors describe an implementation of LbFP