Skip to main content
SpringerLink
Log in

Flang and its implementation

  • Invited Talk
  • Conference paper
  • First Online:
Progamming Language Implementation and Logic Programming (PLILP 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 714))

Abstract

In Flang, the functional and logic styles of programming are amalgamated. Flang also contains special tools for solving combinatorial problems of large complexity. In this paper we discuss the main results connected with development of Flang and its implementations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. I.Abdrakhimov, A.Mantsivoda. Intelligent Backtracking in Flang. Technical Report, Irkutsk university, 1993.

    Google Scholar 

  2. H.Boley. A relational/functional Language and its Compilation into the WAM. SEKI Report SR-90-05, University of Kaiserslautern, 1990.

    Google Scholar 

  3. M.Bruynooghe. Intelligent Backtracking Revisited. Robinson Festschrift.

    Google Scholar 

  4. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, 1989.

    Google Scholar 

  5. G.Janssens, M.Bruynooghe. On abstracting the procedural behavior of logic programs. Proc. 5th Russian Conf. on Logic Programming, Lecture Notes in Artificial Intelligence, Springer, pp.240–257.

    Google Scholar 

  6. A.Mantsivoda. Flang: A Functional-Logic Language. Lecture Notes in Comp.Sci., 567, Processing Declarative Knowledge (eds. H.Boley and M.M. Richter), Springer, 1991, p.257–270.

    Google Scholar 

  7. A.Mantsivoda, V.Petukhin. Compiling Flang. Lecture Notes in Comp.Sci., 641, Compiler Construction (eds. U.Kastens, P.Pfahler), Springer, 1992, p.297–311.

    Google Scholar 

  8. P.L.van Roy. Can Logic Programming Execute as Fast as Imperative Programming? Ph.D. Dissertation, University of California at Berkeley, November 1990.

    Google Scholar 

  9. A. Taylor. High Performance Prolog Implementation. Ph.D. dissertation, Basser Department of Computer Science, University of Sydney, June 1991.

    Google Scholar 

  10. D.H.D.Warren. An Abstract Prolog Instruction Set. Technical Note 309 SRI International, Menlo Park, CA, October 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Irkutsk University, 664003, Irkutsk, Russia

    Andrei Mantsivoda

Authors
  1. Andrei Mantsivoda
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Bruynooghe Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mantsivoda, A. (1993). Flang and its implementation. In: Bruynooghe, M., Penjam, J. (eds) Progamming Language Implementation and Logic Programming. PLILP 1993. Lecture Notes in Computer Science, vol 714. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57186-8_77

Download citation

  • DOI: https://doi.org/10.1007/3-540-57186-8_77

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57186-5

  • Online ISBN: 978-3-540-47945-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation