逻辑编程语言Prolog。在自然语言处理的研究中，对语义的研究也是一个非常重要的领域。现在比较成功的是对词汇意义的研究，但是对更大语言单位的意义的研究还在发展中。互联网理论中讨论的Web 2.0的一个很重要的特征就是语义网络，其目的是以语义为纲领组织网络资源。在认知科学等方面对词汇语义学的研究也很深入，早以超越了传统的结构主义。比如lexical priming研究的是词义是如何在人脑中以网络的形式储存的，一个词汇往往会激活很多相关的词汇。这方面的研究还有很多，比如WordNet，这里不一一列举。Sec