Interoperating Logic Engines

@inproceedings{Tarau2009InteroperatingLE,
  title={Interoperating Logic Engines},
  author={Paul Tarau and Arun K. Majumdar},
  booktitle={PADL},
  year={2009}
}
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. As a first step toward a declarative semantics, we sketch a pure Prolog specification showing that Interactors can be expressed at source… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 24 REFERENCES

YARV: yet another RubyVM: innovating the ruby interpreter

  • OOPSLA Companion
  • 2005
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

New Models of Computation

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Orthogonal Language Constructs for Agent Oriented Logic Programming

P. Tarau
  • In Carro, M., Morales, J.F., eds.: Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation of Constraint and Logic Programming Systems, Saint-Malo, France
  • 2004
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

ed.: Haskell 98 Language and Libraries: The Revised Report

S. L. Peyton Jones
  • 2002
VIEW 2 EXCERPTS