What is The Difference Between Turing And ALF, Programming Languages

Turing is a Compiled Programming Language, while ALF is a Logic-based Programming Language

What are Compiled Programming Languages

A compiled language is a programming language whose implementations are typically compilers (translators that generate machine code from source code), and not interpreters (step-by-step executors of source code, where no pre-runtime translation takes place). (Wikipedia)

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)

While Turing is a Compiled Programming Language, and ALF is a Logic-based Programming Language

Let us now look at the difference between the two:

What is Turing Programming Language – A brief synopsis

It was developed by Ric Holt and James Cordy of the University of Toronto, Canada, in 1982. It was named in honor of the British computer scientist, Alan Turing. This Pascal-like language is a freeware since 2007.

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.