Search your topic here

Introduction and overview of Logic programming

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.

LEAVE A REPLY