A Prolog dialect uKanren implement in monte: https://github.com/monte-language/mt-uKanren/blob/master/uKa...