[agumonkey]

actor model who was the reason behind the scheme lisp dialect, and contextually, underlying the arc language which runs this website

ps: j-pb above mentions planner, also linked to the logic programming world. damn