logo
logo
Sign in

List of Logic-Based Programming Languages

avatar
Tech Mekrz
List of Logic-Based Programming Languages

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

Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain.

Algebraic Logic Functional Programming Language is a multi-paradigm programming language that is a combination of functional programming and logic programming.

ALF program statements are compiled into instructions of an abstract machine.

An emulator written in C executes the programs of the abstract machine.

Fril language was designed by Trevor Martin and Jim Baldwin at the University of Bristol in the 1980s.

collect
0
avatar
Tech Mekrz
guide
Zupyak is the world’s largest content marketing community, with over 400 000 members and 3 million articles. Explore and get your content discovered.
Read more