It is effectively dead.
This is a terrible shame, because this would have been an nice modern alternative to Prolog.