here you goThings I’ve made, read and saved — shared here.

Pyret

@henryjwallis @Jed_Trott The language i mentioned @PyretLang was written by the same group that wrote HTDP and are Schemers

See:

Prolog is also a good choice if one is trying to exercise the "logic" part more.