1996 Volume 8 Issue 5 Pages 937-946
Fuzzy Prolog is a logical programing language which is based on the first order fuzzy predicate logic, and Fuzzy Logic Programing is the theoretical foundation of Fuzzy Prolog. In this paper, the logic formulae is expressed by Kowalski's notation who has made the foundation of Logic Programming, not by clause-form which is used by the former investigations. At first, the former investigations of Fuzzy Logic Programming are summarized. Then, the inference on fuzzy logic is considered and the Lukasiewicz's implication is shown to be suitable for the inference on fuzzy logic. Lastly, Fuzzy Logic Programming which adopts Lukasiewicz's implication is defined and the soundnes and completeness of the resolution rule, which is a procedural inference method and plays the leading part of Fuzzy Logic Programming, are clarified.