The implementation of logical-functional languages Extended abstracts

THE DEVELOPMENT AND EXPERIMENTAL REALIZATION OF INTEGRATION OF THE RECURSIVE SAMPLES AND FUNCTIONS INTO THE SYNTACTICAL MEDIUM OF LANGUAGE PROLOGUE

Solovjev, Igor Pavlovich

January 1996

Performed have been the development and integration of the language PROLOGUE of the spread means of ...

The Integration of Functions into Logic Programming: From Theory to Practice

Hanus, M.

January 1994

Functional and logic programming are the most important declarative programming paradigms, and inter...

Extended unification algorithms for the integration of functional programming into logic programming

Dincbas, Mehmet
Van Hentenryck, Pascal

September 1987

AbstractExtended unification algorithms are considered for the integration of a functional language ...

The inplementation of logical-functional languages Extended abstracts of the 1. German Workshop

Gollner, M. (ed.)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1992

Available from TIB Hannover: RA 2045(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Proceedings of the 12th International Workshop on Implementation of Functional Languages

Mohnen, M.
Koopman, P. (eds.)
Technische Hochschule Aachen (Germany). Fachgruppe Informatik

January 2000

SIGLEAvailable from TIB Hannover: RO 6925(2000,7) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

A functional language to construct proofs

Reif, W.
Stephan, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Heisel, M.
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Extended logic-plus-functional programming

Boley, Harold

May 2011

Extensions of logic and functional programming are integrated in RELFUN. Its valued clauses comprise...

A taxonomy of functional language implementations Part I : call by value

Douence, Remi
Fradet, Pascal
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet LandeSIGLEAvailable at INI...

The integration of functions into logic programming: a survey

Hanus, M.

January 1994

Functional and logic programming are the most important declarative programming paradigms, and inter...

Implementation of Axiomatic Language

Walter W. Wilson

January 2011

This report summarizes a PhD research effort to implement a type of logic programming language calle...

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

To appear in: Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, Informati...

Language description and implementation concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)

Bertsch, E.
Hagen Fernuniversitaet (Germany)

January 1984

SIGLETIB: RO 5219 (46) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Design and implementation of a generic, logic and functional programming language

Echaed, Rachid
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

CNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Dokumentation eines PROLOG-Interpreters implementiert in der funktionalen Sprache BRL

Fehr, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

A Unifying View of Functional and Logic Program Specialization

Alpuente M.
Vidal G.
FALASCHI, MORENO

January 1998

We give a general introduction to the particular problems associated with the partial evaluation of ...

THE DEVELOPMENT AND EXPERIMENTAL REALIZATION OF INTEGRATION OF THE RECURSIVE SAMPLES AND FUNCTIONS INTO THE SYNTACTICAL MEDIUM OF LANGUAGE PROLOGUE

Solovjev, Igor Pavlovich

January 1996

Performed have been the development and integration of the language PROLOGUE of the spread means of ...

The Integration of Functions into Logic Programming: From Theory to Practice

Hanus, M.

January 1994

Functional and logic programming are the most important declarative programming paradigms, and inter...

Extended unification algorithms for the integration of functional programming into logic programming

Dincbas, Mehmet
Van Hentenryck, Pascal

September 1987

AbstractExtended unification algorithms are considered for the integration of a functional language ...

The inplementation of logical-functional languages Extended abstracts of the 1. German Workshop

Gollner, M. (ed.)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1992

Available from TIB Hannover: RA 2045(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Proceedings of the 12th International Workshop on Implementation of Functional Languages

Mohnen, M.
Koopman, P. (eds.)
Technische Hochschule Aachen (Germany). Fachgruppe Informatik

January 2000

SIGLEAvailable from TIB Hannover: RO 6925(2000,7) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

A functional language to construct proofs

Reif, W.
Stephan, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Informatik 1)
Heisel, M.
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1986

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Extended logic-plus-functional programming

Boley, Harold

May 2011

Extensions of logic and functional programming are integrated in RELFUN. Its valued clauses comprise...

A taxonomy of functional language implementations Part I : call by value

Douence, Remi
Fradet, Pascal
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet LandeSIGLEAvailable at INI...

The integration of functions into logic programming: a survey

Hanus, M.

January 1994

Functional and logic programming are the most important declarative programming paradigms, and inter...

Implementation of Axiomatic Language

Walter W. Wilson

January 2011

This report summarizes a PhD research effort to implement a type of logic programming language calle...

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

To appear in: Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, Informati...

Language description and implementation concepts of LITFAS (Language for Implications from Textual Files and Atomic Sentences)

Bertsch, E.
Hagen Fernuniversitaet (Germany)

January 1984

SIGLETIB: RO 5219 (46) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Design and implementation of a generic, logic and functional programming language

Echaed, Rachid
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

CNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Dokumentation eines PROLOG-Interpreters implementiert in der funktionalen Sprache BRL

Fehr, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

A Unifying View of Functional and Logic Program Specialization

Alpuente M.
Vidal G.
FALASCHI, MORENO

January 1998

We give a general introduction to the particular problems associated with the partial evaluation of ...

THE DEVELOPMENT AND EXPERIMENTAL REALIZATION OF INTEGRATION OF THE RECURSIVE SAMPLES AND FUNCTIONS INTO THE SYNTACTICAL MEDIUM OF LANGUAGE PROLOGUE

Solovjev, Igor Pavlovich

January 1996

Performed have been the development and integration of the language PROLOGUE of the spread means of ...

The Integration of Functions into Logic Programming: From Theory to Practice

Hanus, M.

January 1994

Functional and logic programming are the most important declarative programming paradigms, and inter...

Extended unification algorithms for the integration of functional programming into logic programming

Dincbas, Mehmet
Van Hentenryck, Pascal

September 1987

AbstractExtended unification algorithms are considered for the integration of a functional language ...

The implementation of logical-functional languages Extended abstracts

Abstract

Extracted data

The implementation of logical-functional languages Extended abstracts

Abstract

Extracted data

Related items

Related items