Translating a Linear Logic Programming Language into Java

There have been several proposals for logic programming language based on linear logic: Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The ecient handling of resource formulas is, therefore, an important issue in the implementation of these languages. Lolli, Lygon, and Forum are implemented as interpreter systems; Lolli is on SML and ‚Prolog, Lygon is on Prolog, Forum is on SML, ‚Prolog and Prolog. However, none of them have been implemented in Java.

[1]  James Harland,et al.  The Uniform Proof-Theoretic Foundation of Linear Logic Programming , 1991, ISLP.

[2]  Paul Tarau,et al.  Elementary Logic Programs , 1990, PLILP.

[3]  Hassan Aït-Kaci.  Warren's Abstract Machine , 1991, ICLP.

[4]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[5]  JEAN-MARC ANDREOLI,et al.  Logic Programming with Focusing Proofs in Linear Logic , 1992, J. Log. Comput..

[6]  Dale Miller,et al.  Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[7]  Mutsunori Banbara,et al.  Compiling Resources in a Linear Logic Programming Language , 1998, Implementation Technology for Programming Languages based on Logic.

[8]  Naoyuki Tamura,et al.  Efficient Implementation of a Linear Logic Programming Language , 1998, IJCSLP.

[9]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[10]  N. Kobayashi,et al.  Typed Higher-Order Concurrent Linear Logic Programming , 1994 .

[11]  Dale Miller,et al.  Forum: A Multiple-Conclusion Specification Logic , 1996, Theor. Comput. Sci..