Logic Engines as Interactors

Authors:
Paul Tarau
Affiliations:
Department of Computer Science and Engineering, University of North Texas,
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 4
Cited 4

CLU reference manual

CLU reference manual
Nonstandard answers of elementary logic programs

Constructing logic programs
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects

CL '00 Proceedings of the First International Conference on Computational Logic
Interruptible iterators

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)

Proceedings of the sixth workshop on Declarative aspects of multicore programming
Integrated symbol table, engine and heap memory management in multi-engine prolog

Proceedings of the international symposium on Memory management
Coordination and concurrency in multi-engine prolog

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. 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. The full version of this paper [1] describes source level emulation of Prolog's dynamic database and various built-ins in terms of an Interactor API and design patterns for algorithms involving combinatorial generation and infinite answer streams.