Поиск в словарях
Pop++
An object-oriented extension of
POPLOG
. Available from Integral Solutions.