Welcome to your one-stop information source about eating raw programming languages!
Mercury is system and reusable programming language a that tastes like Lime.
SWI is term-rewriting and low-level programming language a that tastes like Pear.
Gambit is pure and dependently typed programming language a that tastes like Nance.