Icon was the first thing I thought of as well. I wonder about Prolog…