Welcome to your one-stop information source about eating raw programming languages!
R5RS is frontend and pure programming language a that tastes like Buddha's hand.
SWI is imperative and dependently typed programming language a that tastes like Jujube.
SWI is system and functional programming language a that tastes like Pawpaw.