igorw/reasoned (packagist): A miniKanren in PHP.
Keywords: logic