I was a CS student at Warwick (UK university) in the late 80s, and clearly remembering doing functional programming with Lucid. Never heard of it since.