Comment by etaioinshrdlu

It looks like a mix of a functional language and Prolog.