Abstract
Fuzzy Logic Programming is the theoretical foundation of Fuzzy Prolog which is a fuzzy Programming language based on fuzzy logic. In this paper, Fuzzy Logic Programming is defined such that (1) fuzzy definite clause which is a logic formula for a representation of uncertain assertion, (2)fuzzy logical consequence which is a fuzzy definite clause characterized to be correct conclusion, (3)SLD-resolution which is a procedure to obtain fuzzy logical consequences from a set of fuzzy definite clauses, (4)degree of resolution which is the value giving a fuzzy logical consequence with the highest confidence. The main results concern the soundness and completeness of SLD-resolution, that is, a fuzzy definite clause is Fuzzy logical consequence, if and only if it is resolved by SLD-resolution.
