Welcome to your one-stop information source about eating raw programming languages!
C2 is backend and imperative programming language a that tastes like Canistel - also called egg fruit.
SWI is dependently typed and purely functional programming language a that tastes like Currant.
Mercury is dynamically typed and system programming language a that tastes like Kumquat.