Logic Programming

Logic programming is a programming paradigm which is largely based on formal logic.

How it works

Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:

H :- B_1, ..., B_n.

References

1. Logic programming. (2023, May 29). In Wikipedia. Link