Embedded Quel. INGRES, Inc. Combines QUEL theories with C code.
Try this search on Wikipedia, OneLook, Google
Nearby terms: equals « equational logic « Equational Programming Language « Equel » equivalence class » equivalence class partitioning » equivalence partitioning
