gen_2.1.gif gen_1.1.gif gen_4.1.gif
HomeResumeData and InformationProgramming LangagesCustomTablePublic KeysLinkse-mail me

Programming Langages
The are many approaches to instructing a computer system to carry out tasks and make decisions. Using a programming language is probably the most recognised.

Declarative langages
  • Prolog
    Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics. See: Wielemaker, J.; Costa, V. T. S. (2011). "Practical Aspects of Declarative Languages". Lecture Notes in Computer Science 6539. p. 69. doi:10.1007/978-3-642-18378-2_8. ISBN 978-3-642-18377-5.
  • Erlang
    This is not strictly a declaration language but has many of Prolog's features.

Procedural langages
  • Pascal
  • C
    This language was, apparently, developed to provide a human readable procedural language to facilitate the writing on the UNIX OS. The concept was to provide a small kernel, written in assembler, that would provide rudimentary OS services which would allow a C compiler to build subsequent tools and services.

Object Oriented languages

Functional Programming Languages
  • ML
    This is programming paradigm that has its roots in lambda calculus, a formal system developed in the 1930s to investigate computability, the decidability problem, function definition, function application, polymorphism, and recursion. Although there are many functional programming languages LISP, developed by John McCarthy while at MIT in the 1950s, was the first and remains popular. Many functional programming languages can be viewed as elaborations on the lambda calculus. In the other well-known declarative programming paradigm, logic programming, relations are at the base of respective languages.
  • LISP
  • Swift
  • Erlang
  • F#