(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. . ["Constraint Programming Languages - Their Specification and Generation", W. Leler, A-W 1988, ISBN 0-201-06243-7].

In addition suitable contents:
[ 2 ] [ = ] [ af ] [ ag ] [ ai ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ base ] [ be ] [ Bertrand Russell ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ cm ] [ co ] [ con ] [ cons ] [ constraint ] [ ec ] [ ed ] [ ee ] [ er ] [ era ] [ es ] [ fi ] [ G ] [ ga ] [ ge ] [ gm ] [ gr ] [ gu ] [ h ] [ hr ] [ in ] [ int ] [ io ] [ ir ] [ IS ] [ is ] [ it ] [ la ] [ language ] [ li ] [ ly ] [ ma ] [ mm ] [ mp ] [ mu ] [ N ] [ ne ] [ ng ] [ ns ] [ op ] [ pa ] [ pe ] [ pl ] [ pr ] [ rc ] [ re ] [ ro ] [ Russell ] [ S ] [ sc ] [ se ] [ sh ] [ shar ] [ Spec ] [ spec ] [ specification ] [ st ] [ T ] [ th ] [ to ] [ tp ] [ tr ] [ tree ] [ ua ] [ ug ] [ us ] [ user ] [ va ]