Article View: comp.lang.prolog
Article #1536Comprehensive understanding of logic languages
From: COMTET
Date: Sat, 03 Oct 1992 00:27
Date: Sat, 03 Oct 1992 00:27
18 lines
1091 bytes
1091 bytes
Recently I had courses in languages such as Prolog and Lisp. The beginning of t he course was an attempt to describe comprehensively all logic languages. There are some terms that I didn't quite understand such as : logic of the first order Horner's clause ( or assertion) Could somebody give me either the meaning of those words or give me references about suchsubjects (books or articles)? Also could somebody send me samples of programs in Prolog not too complicated that deal with articial intelligence or demonstration of mathematical propertie s? Gilles Comtet_Varga Ecole Centrale Paris Gde Voie des Vignes 92295 CHATENAY-MALABRY Cedex FRANCE COMTET at FRECP12.BITNET
Technical Details
Message-ID:
<92276.202706COMTET@FRECP12.BITNET>Path:
arc1-ca.pugleaf.net!sparky!uunet!kithrup!stanford.edu!agate!usenet.ins.cwru.edu!gatech!paladin.american.edu!news.univie.ac.at!blekul11!frmop11!frecp12!comtetShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!kithrup!stanford.edu!agate!usenet.ins.cwru.edu!gatech!paladin.american.edu!news.univie.ac.at!blekul11!frmop11!frecp12!comtet Organisation: ECP-Paris France Date: Friday, 2 Oct 1992 20:27:05 EDT From: <COMTET@FRECP12.BITNET> Message-ID: <92276.202706COMTET@FRECP12.BITNET> Newsgroups: comp.lang.prolog Subject: Comprehensive understanding of logic languages Lines: 18