Higher-order extensions to PROLOG: are they needed?

Open in new window