When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
He presents a language, AnsProlog and its extentions and code, for both knowledge representation and reasoning, and declarative problem solving. Many of the results here have never appeared before in book form, and have been organized to appeal to practicing and would-be knowledge engineers wishing to learn more about the subject, in courses or through self-teaching.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.