What do you think about the newer attempts at declarative programming (which are often embedded in Prolog) such as CLP + consistency techniques and CHR?
Regardless of whether Prolog (or CLP or CHR) is helpful towards "real" AI, I'd like to hear your thoughts about the kind of domains / problems for which these approaches are a good fit.
Regardless of whether Prolog (or CLP or CHR) is helpful towards "real" AI, I'd like to hear your thoughts about the kind of domains / problems for which these approaches are a good fit.