There are many types of
programming paradigms, each
with many different languages
Other paradigms
include object oriented,
functional and logical
Each paradigm is best suited to
a particular type of problem.
E.g using logic programming for
natural language processing
imperative programming languages are those in
which we tell the computer what to do; we tell it
how to solve a problem. Procedural and object
oriented programming are imperative paradigms
procedural programming uses
sequence, selection and
iteration to build procedures
and subroutines. Examples
include Basic, C and Pascal
declarative programming
languages are ones where we
tell the computer the qualities
the solution should have.
there are a number of
subtypes of declarative
language, including logic and
functional programming
logic programming expresses a
set of facts and rules. the facts
and rules are then used to find a
given goal. The most commonly
used logic language is prolog
functional programming gives a
description of the solution to a
problem is built up through a
collection of functions. Examples
include Haskell and ML
A programming language is referred to as
'Turing Complete' if it can solve all the
problems it has been proved computers can
solve. most programing languages across
different paradigms are 'Turing Complete'