You are about to access our book library "An implementation of the language lambda Prolog organized around higher-order pattern unification. full version" .