On the parallel implementation of the higher order logic language lambda Prolog