Mention php-clj and PHPµKanren.