H ? « ‹ ← → › »

Language peer sets for PROP:
United States↑
United States/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

PROP(ID:6876/pro089)

Country: United States
Designed 1997

Extensions to C++ to enable pattern matching and forward chaining

from doc

String matcher, lexical analyzer, and parser generation. Currently the grammar is restricted to LALR(1) (with operator precedence).

ML-style algebraic datatypes and pattern matching.

Bottom-up tree rewriting (with conditionals).

Bottom-up tree parsing with dynamic programming for cost minimization.

Incremental forward chaining inference using a RETE-style algorithm.

C++	→	PROP	Extension of
DATALOG	→	PROP	Incorporated some features of
ML	→	PROP	Incorporated some features of

References:

Leung, Allen (1977) Leung, Allen "Prop - Language Reference Manual" Abstract Online copy

Leung, Allen (1996) Leung, Allen "C++-based Pattern Matching Language" Abstract Online copy Extract: Overview
Resources