A Prolog + CLP compiler from ECRC.
Try this search on Wikipedia, OneLook, Google
Copyright 2010 Denis Howe