Eventually lambda prolog will rise again