Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors

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.


  1. Sebesta,”Concept of programming Language”, Pearson Edu
  2. Louden, “Programming Languages: Principles & Practices” , Cengage Learning
  3. Tucker, “Programming Languages: Principles and paradigms “, Tata McGraw –Hill.
  4. E Horowitz, “Programming Languages”, 2nd Edition, Addison Wesley

Leave a Comment