this chapter, we will focus logic programming and how it helps in Artificial Intelligence.  We already know that logic is the study of principles of correct reasoning or in simple words it is the study of what comes after what. For example, if two stateme