Please use this identifier to cite or link to this item:
doi:10.22028/D291-39525 | Notice: | temporarily not accessible for legal reasons |
| Title: | Conditional rewriting and narrowing as a theoretical framework for logic-functional programming : A Survey |
| Author(s): | Bockmayr, Alexander |
| Language: | English |
| Year of Publication: | 1986 |
| Place of publication: | Karlsruhe |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | Conditional rewriting and narrowing may provide a uniform framework for the combination of PROLOG-like logic programming and LISP-like (first order) functional programming. The aim of this paper is to give a survey of theoretical results on conditional rewriting and narrowing in order to better understand these formalisms and their relevance to programming. |
| Link to this record: | urn:nbn:de:bsz:291--ds-395258 hdl:20.500.11880/35823 http://dx.doi.org/10.22028/D291-39525 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 86,10 |
| Date of registration: | 15-May-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO-86-10_Bockmayr_Conditional-rewriting-and-narrowing-as-a-theoretical-framework-for-logic-functional-programming.pdf | 16,98 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.