Logic Grammars and Lambda-Prolog