Skip to main content

FOLDOC entry to edit:clause

Source

FOLDOC entry to edit: [Yuanqing Zhu [drinking201ATyahoo.com.cn]: clause]



This is a logic programming thing. Needs a bit more explanation I think.



------- Start of forwarded message -------


From: Yuanqing Zhu [drinking201ATyahoo.com.cn]


To: Denis Howe [dbhATdoc.ic.ac.uk], Yuanqing Zhu [rinking201ATyahoo.com.cn]


Subject: clause


X-Host:


X-Url: sendnew


X-Browser: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0)


Sender: Denis Howe


Date: Fri, 26 Dec 2003 07:31:53 +0000



clause



definition of clause:the disconjuction form of literals reference:Microsoft Computer Dictionary



------- End of forwarded message -------



--


Denis Howe


Free On-Line Dictionary of Computing


http://www.foldoc.org/



Need to Complete this by 7 th of May.


As before, you are welcome for discussion on this topic.