IC-Prolog
Extension of
IC Prolog ][ (6659)