Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Bertrand

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

©2018 Martin Webb