Hacker News new | comments | show | ask | jobs | submit login

Lisp and Prolog are still huge in AI, at least in academia, or at least at my university. For instance: ICARUS [1], CCalc [2], and answer set programming solvers [3], all of which are part of active and recent research, use Lisp or Prolog.

Prolog was and still is used precisely because it is so (relatively) easy to specify some facts and behaviors as Horn clauses [4], which is important, because it is one of the few places I ever hear the phrase "solvable in polynomial time" in KRR.

[1] http://circas.asu.edu/cogsys/papers/manual.pdf

[2] http://www.cs.utexas.edu/users/tag/cc/

[3] http://potassco.sourceforge.net/

[4] http://en.wikipedia.org/wiki/Horn_clause

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact