Flang and its implementation

  • Andrei Mantsivoda
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 714)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    I.Abdrakhimov, A.Mantsivoda. Intelligent Backtracking in Flang. Technical Report, Irkutsk university, 1993.Google Scholar
  2. 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. 3.
    M.Bruynooghe. Intelligent Backtracking Revisited. Robinson Festschrift.Google Scholar
  4. 4.
    P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, 1989.Google Scholar
  5. 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. 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. 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. 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. 9.
    A. Taylor. High Performance Prolog Implementation. Ph.D. dissertation, Basser Department of Computer Science, University of Sydney, June 1991.Google Scholar
  10. 10.
    D.H.D.Warren. An Abstract Prolog Instruction Set. Technical Note 309 SRI International, Menlo Park, CA, October 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Andrei Mantsivoda
    • 1
  1. 1.Department of MathematicsIrkutsk UniversityIrkutskRussia

Personalised recommendations