Nell/Prolog

From OLPC
< Nell
Revision as of 20:54, 21 February 2012 by 173.166.109.241 (talk) (Rough draft of topics.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

CSA: I did a lot of research on Prolog and Prolog-related topics. The bottom line is that it's probably not directly relevant for our project: what we really need is an incremental planner or a truth maintenance system, not a backtracking solver. Prolog doesn't come with any magic bullets to answer the "now what goals have their preconditions satisfied" question, which is at the core of a UNIVERSE-style storytelling system.

Datalog might still be interesting as a data model for "avatar services".

Interesting Prologs

  • Datalog
  • Logtalk -- the object oriented features provide a good encapsulation mechanism for a prolog-style language. It also supports "event-driven programming"; I can't tell if that would help one construct a truth maintenance system (ie, track dependencies) or not.

Truth Maintenance / Planners

  • STRIPS

Storytelling

  • UNIVERSE
    • 1984 paper, xxx, 19xx paper
    • Blog posts comparing it to MINSTREL