lucid, intensional programming, marfl, syntax, semantics, marfl ast, pattern recoginition, marf, gipsy