parenlog (racket): A language that is like Prolog, but parenthetical.
Keywords: language|logic