Поиск в словарях
Nu-prolog
A Prolog with 'when' declarations, the successor to MU-Prolog. Type-checked.