Natural language parsing was one of the main motivations from which Prolog was developed Metamorphosis grammars, designed by Alain Colmerauer at GIA Marseille, was the first logic-based formalism for natural language parsing These grammars have inspired a number of other logic-based grammar formalisms and implementations which are now commonly used and some of which are still under intense research. These formalisms are very close per se to Metamorphosis grammar, some of them were motivated by the need to enhance the ease of writing grammar rules, others support deeper linguistic motivations and concepts. Natural language semantics and pragmatics are now two major fields in linguistics, philosophy as well as artificial intelligence and, obviously, computational linguistics. Surprisingly enough, up to now, this area was somewhat neglected, except by a small number of researchers among us. With the development of large and efficient Prolog interpreters and compilers and with the expansion of the theoretical aspects of Logic Programming, the study of natural language semantics and related pragmatic aspects is now becoming a very attractive topic.