ABSTRACT
This chapter is an extension of chapter 5 to study in detail a specialized class of Predicate Logic based reasoning programs, called Logic Programs. PROLOG, which is an acronym of PROgramming in LOGic, is commonly used for handling this class of reasoning problems. Various issues of Logic Programming have been narrated in this chapter with special emphasis on the syntax and semantics of PROLOG programming language. It may be mentioned here that besides PROLOG, another well-known programming language, called LISP (LISt Processing language), is also used for programming in Artificial Intelligence. However, LISP is well suited for handling lists, whereas PROLOG is designed for Logic Programming.
