Welcome to your one-stop information source about eating raw programming languages!
Haskell is battle tested and dynamically typed programming language a that tastes like Orange.
SWI is general-purpose and pure programming language a that tastes like White currant.
Scryer is lazy and dependently typed programming language a that tastes like Pawpaw.