HiLog的悖论  

A PARADOX IN HILOG

作　　者：周青[1] 

机构地区：[1]中山大学软件研究所

出　　处：《计算机学报》1996年第10期780-782,共3页Chinese Journal of Computers

摘　　要：本文证明了文献［１］中所定义的ＨｉＬｏｇ语言可能产生悖论，并讨论了产生这种悖论的原因．The purpose of this paper is to show that the HiLog language is not a suitable language. A paradox which might be a formula in the language is exhibited. A comprehensive discussion on the reason of the mistake is also made at the end of the paper.

关 键 词：谓词 HiLog语言 程序语言 

分 类 号：TP312HI[自动化与计算机技术—计算机软件与理论]