Foundations of fuzzy logic programming and debugging
A theoretical foundation is provided for programming in fuzzy Horn logic and declarative debugging in fuzzy Horn logic programming. Particular emphasis is placed on the study of the soundness and completeness for both.<<ETX>>