Programming Languages

Logic Languages

There are several logic programming languages (some would say that "there are several Prolog variants"), the following links go to some interesting variants:

• The Mercury programming language is a typed, pure, logic programming system very similar to Prolog (its type system is similar to that of the Haskell programming language).
• Twelf is a logical framework in which everything is a type; an active area of research is theorem proving which relates to proof-carrying code.
• Logic, pure, languages make unexcelled concurrent programming languages: see Erlang for proof, or just use your cell phone, because it probably uses Erlang to connect your call.