Skip to main content
SpringerLink
Log in

Towards integrating functional and logic styles using relation

  • Conference paper
  • First Online:
Programming Language Implementation and Logic Programming (PLILP 1994)

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

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

References

  1. S.K.Abdelli, An Abstraction algorithm for combinatory logic, Journal of symbolic logic, vol41, n1, mars 1976.

    Google Scholar 

  2. A.Belkhir, Conception d'une machine orientée fonctions, application à l'implantation d'un langage dirigé par les données, Thèse de l'Université PARIS6, 1988.

    Google Scholar 

  3. M.Bellia, G. Levi, The relation between logic and functionnal languages: a survey. J of logic programming, Vol3 pp217–236, 1986.

    Google Scholar 

  4. P.Bellot, V. Jay, A theory for natural modelisation and implementation of functions with variable arity, Functionnal programming languages and computer architecture, Portland, Oregon, 1987.

    Google Scholar 

  5. K.Benabadji, CB. Ben-Yelles, Une machine à réduction matricielle pour le langage VAAL, JFLA92, 1992.

    Google Scholar 

  6. D.DeGroot, G. Lindstrom, logic programming: functions, relations, equations, prentice hall 1986.

    Google Scholar 

  7. N.Dershowitz, D.A. Plaisted, Equationnal programming, Machine intelligence 11, Ed JE.Hayes, D. Michie, pp2154, 1987.

    Google Scholar 

  8. N.Nemouche, Vers l'intégration des styles fonctionnel et logique, thèse de Magister, USTHB, 1993.

    Google Scholar 

  9. R.Loogen, Relating the implementation techniques of functional and functional logic languages, New generation computing, 11, pp179–215, 1993.

    Google Scholar 

  10. R.Loogen, H Kuchen, K.Indermak, W.Damm, Distributed implementation of programmed graph reduction, conference on parallel architectures and languages Europe 1989, LNCS 365, spring verlag 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut d'informatique, USTHB, BP32, El-Alia Alger, Algerie

    Abdelkader Belkhir & Namick Nemouche

Authors
  1. Abdelkader Belkhir
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Namick Nemouche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Hermenegildo Jaan Penjam

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Belkhir, A., Nemouche, N. (1994). Towards integrating functional and logic styles using relation. In: Hermenegildo, M., Penjam, J. (eds) Programming Language Implementation and Logic Programming. PLILP 1994. Lecture Notes in Computer Science, vol 844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58402-1_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-58402-1_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48695-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation