Logic Programming Paradigm

It can be termed as Abstract model of computation.

What is Logic Programming Paradigm?

In logic programming we have a knowledge base which we know before and along with the question and knowledge base which is given to machine, it produces result. It is also called as declarative language beacause programs written in them consist of declarations rather than assignments and control flow statements. These declaration are actually statements, or propositions, in symbolic logic.

Key Feature

• Semantics: there is a simple way to determine the meaning of each statement, and it does not depend on how the statement might be used to solve a problem.

Advantages

• Logic programming can be used to express knowledge in a way that does not depend on the implementation, making programs more flexible, compressed and understandable.
• It enables knowledge to be separated from use, ie the machine architecture can be changed without changing programs or their underlying code.
• It can be altered and extended in natural ways to support special forms of knowledge, such as meta-level or higher-order knowledge.
• It can be used in non-computational disciplines relying on reasoning and precise means of expression.

Disadvantages

• Initially, due to insufficient investment in complimentary technologies, users were poorly served.
• In the beginning, poor facilities for supporting arithmetic, types, etc. had a discouraging effect on the programming community.
• There is no adequate way of representing computational concepts found in built-in mechanisms of state variables (as is usually found in conventional languages).