Welcome to your one-stop information source about eating raw programming languages!
SWI is staticly type and stable programming language a that tastes like Chico fruit.
C++ is system and dynamically typed programming language a that tastes like Açaí.
Mercury is high-level and dependently typed programming language a that tastes like Redcurrant.