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

@inproceedings{Tarau2000FluentsAR,
  title={Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects},
  author={Paul Tarau},
  booktitle={Computational Logic},
  year={2000}
}
On top of a simple kernel (Horn Clause Interpreters with LD-resolution) we introduce Fluents, high level stateful objects which empower and simplify the architecture of logic programming languages through reflection of the underlying interpreter, while providing uniform interoperation patterns with object oriented and procedural languages. We design a Fluent class hierarchy which includes first-class stateful objects representing the meta-level Horn Clause Interpreters, file, URL, socket… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS
22 Citations
15 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Haskell 98: A Non-strict, Purely Functional Language

  • Simon Peyton Jones, John Hughes
  • Technical report,
  • 1999
1 Excerpt

Inference and Computation Mobility with Jinni

  • Paul Tarau
  • 1999
3 Excerpts

The Mercury Language Web Site

  • Zoltan Somogyi, Fergus Henderson, Thomas Conway
  • http://www.cs.mu.oz.au/research/mercuryl
  • 1998
2 Excerpts

Similar Papers

Loading similar papers…