@operand @dysfun the terms of the challenge is 25 languages i've never written a program in before. and i've written Prolog before.

i think i have a couple logic languages on my candidates list. i'd like to learn kanren someday. i've tried a couple times and always go "ah! that makes sense! … how do i use it?"