Another good source is anything to miniKanren / uKanren, especially papers and talks by William Byrd. There's a book called the Reasoned Schemer by Daniel Friedman and William Byrd describing their take on a goal oriented language.