What is The Difference Between SGML And ALF, Programming Languages

SGML is a Markup Language, while ALF is a Logic-based Programming Language

What are Markup Languages

A markup language is an artificial language that uses annotations to text that define how the text is to be displayed.

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 SGML is a Markup Language, and ALF is a Logic-based Programming Language

Let us now look at the difference between the two:

What is SGML Programming Language – A brief synopsis

Standardized General Markup Language (SGML) has descended from IBM’s Generalized Markup Language. It is an ISO standard metalanguage that can define markup languages for documents. It was designed with the intent of sharing machine-readable documents of large projects that had to be retained for long years.

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.