What is The Difference Between Fril And ALF, Programming Languages

Both Fril and ALF are Logic-based Programming Languages

What are 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. (Wikipedia)

What are Logic-based Programming Languages

Since Fril and, are both Logic-based Programming Languages

Let us now look at the difference between the two:

What is Fril Programming Language – A brief synopsis

Fril language was designed by Trevor Martin and Jim Baldwin at the University of Bristol in the 1980s. It is for first-order predicate calculus. It supports fuzzy sets and metaprogramming and is based on the Prolog syntax.

What is ALF Programming Language – A brief synopsis

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.