trismegiste/prolog (packagist): Warren Abstract Machine for symfony2
Keywords: Symfony2|engine|inference|prolog