| 释义 |
Bertrand
Bertrand(Named after the British mathematician Bertrand Russell(1872-1970)). Wm. Leler. Rule-based specification languagebased on augmented term rewriting. Used to implementconstraint languages. The user must explicitly specify thetree-search and the constraint propagation.
ftp://nexus.yorku.ca/pub/scheme/scm/bevan.shar.
["Constraint Programming Languages - Their Specification andGeneration", W. Leler, A-W 1988, ISBN 0-201-06243-7].Bertrand
Ber·trand (bār-trahn'), Ivan Georges, 20th-century Belgian neurologist. See: Canavan-van Bogaert-Bertrand disease. |