Prolog
Extension of
PROLIX (2942)