Bertrand
(Named after the British mathematician Bertrand Russell (1872-1970)).
Wm. Leler.
Rule-based specification language based on augmented term rewriting.
Used to implement constraint languages.
The user must explicitly specify the tree-search and the constraint propagation.
(ftp://nexus.yorku.ca/pub/scheme/scm/bevan.shar).
["Constraint Programming Languages - Their Specification and Generation", W. Leler, A-W 1988, ISBN 0-201-06243-7].
| < Previous Terms | Terms Containing Bertrand | Next Terms > |
| Berners-Lee, Tim Bernoulli Box Bernoulli principle Bernstein condition BERR | Bertrand Eiffel games Interactive Software Engineering Lace | Bertrand Meyer Bertrand Russell Berzerkeley Berzerkley best effort |
