next up previous
Next: Historical roots of logic Up: Logic and Artificial Intelligence: Previous: Metatheory in a broader



In this section, we briefly review the history of logic programming (LP), and then give an account of what we call implemented LAI systems. (For a detailed account of the history of LP, see Robinson 1992.) Armed with this history and this account, we proceed to explore the topic of implementation through Kim, Hayes et al., and Thayse 1991.

Selmer Bringsjord
Mon Nov 17 14:57:06 EST 1997