Plotting

 Colmerauer, A.


Les grammaires de metamorphose

Classics

After examining the simplest statements thaï can be based on a verb, a noun and an adjective, we go on to more complex statements involving articles, relative clauses and négations. Emphasis is laid on the systematic transformation ofa sentence into a semantic formula, h appears that such semantic formulae can be interpre ted correctly only in a logical system wit h three truth-values. Moreover one must suppose that the elementary relations associâted wit h the verb s, nouns and adjective s range not on individuals, but on sets of individuals.