Bertrand (programming language)
Encyclopedia
Bertrand is a computer programming language
for creating constraint programming
systems. The language was created by Wm Leler in the mid-1980s as part of his doctoral research. Bertrand has a declarative programming
syntax and differentiates itself from other programming languages by use of a technique called augmented term rewriting
.
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
for creating constraint programming
Constraint programming
Constraint programming is a programming paradigm wherein relations between variables are stated in the form of constraints. Constraints differ from the common primitives of imperative programming languages in that they do not specify a step or sequence of steps to execute, but rather the properties...
systems. The language was created by Wm Leler in the mid-1980s as part of his doctoral research. Bertrand has a declarative programming
Declarative programming
In computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow. Many languages applying this style attempt to minimize or eliminate side effects by describing what the program should accomplish, rather than...
syntax and differentiates itself from other programming languages by use of a technique called augmented term rewriting
Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. What is considered are rewriting systems...
.