Higher-order extensions to PROLOG: are they needed?