Fixed discussion of logic programming.