INTRODUCTION AND OVERVIEW OF LOGIC PROGRAMMING
Logic programming is a computer programming paradigm.
Logic programming is a way of writing computer programs using languages that are based on formal logic.
Logic programs are declarative rather than procedural, which means that only the specifications of the desired results are stated rather than detailed procedures for producing them.
Programs in logic programming languages are collections of facts and rules.
Languages used for logic programming are called declarative languages, because programs written in them consist of declarations rather than assignments and control flow statements.
Language used for logic programming: Prolog.
- Sebesta,”Concept of programming Language”, Pearson Edu
- Louden, “Programming Languages: Principles & Practices” , Cengage Learning
- Tucker, “Programming Languages: Principles and paradigms “, Tata McGraw –Hill.
- E Horowitz, “Programming Languages”, 2nd Edition, Addison Wesley