Prolog высшего порядка

Consideration of the question of meaning in the frame- work of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about …...