You are here: irt.org | FOLDOC | 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].
Nearby terms: Bernoulli principle « Bernstein condition « BERR « Bertrand » Bertrand Meyer » Bertrand Russell » Berzerkeley
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL