Logic Engines as Interactors

Details Logic Engines as Interactors Logic Engines as Interactors

2008-08-05

arxiv.org/abs/0808.0556v1

Computer Science

Programming Languages

unpublished draft

Scientific paper

We introduce a new programming language construct, Interactors, supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors as an abstraction of answer generation and refinement in Logic Engines resulting in expressive language extension and metaprogramming patterns, including emulation of Prolog's dynamic database. A mapping between backtracking based answer generation in the callee and "forward" recursion in the caller enables interaction between different branches of the callee's search process and provides simplified design patterns for algorithms involving combinatorial generation and infinite answer streams. Interactors extend language constructs like Ruby, Python and C#'s multiple coroutining block returns through yield statements and they can emulate the action of monadic constructs and catamorphisms in functional languages. Keywords: generalized iterators, logic engines, agent oriented programming language constructs, interoperation with stateful objects, metaprogramming

Affiliated with

Also associated with

No associations

Rating

Logic Engines as Interactors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Engines as Interactors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Engines as Interactors will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-549732