C++ Extension of
DATALOG Incorporated some features of
ML Incorporated some features of