Towards a WAM Model for Lambda-Prolog