P#: a concurrent Prolog for the .NET framework

@article{Cook2004PAC,
  title={P#: a concurrent Prolog for the .NET framework},
  author={Jonathan J. Cook},
  journal={Softw., Pract. Exper.},
  year={2004},
  volume={34},
  pages={815-845}
}
We discuss P#, our implementation of a tool which allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft’s .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#’s graphical, networking and other libraries. We add language constructs on the Prolog side which allow concurrent Prolog code to be… CONTINUE READING
15 Extracted Citations
28 Extracted References
Similar Papers

Referenced Papers

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

The C++ Programming Language, Addison Wesley

  • B. Stroustrup
  • 2000
Highly Influential
5 Excerpts

Design and implementation of Flat Concurrent Prolog

  • C. Mierowsky
  • Technical Report TR CS84-21,
  • 1984
Highly Influential
11 Excerpts

Similar Papers

Loading similar papers…