English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  Improving Control of Logic Programs by Using Functional Logic Languages

Hanus, M. (1992). Improving Control of Logic Programs by Using Functional Logic Languages. In M. Bruynooghe, & M. Wirsing (Eds.), Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming (pp. 1-23). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE10-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AE11-B
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Hanus, Michael1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: This paper shows the advantages of amalgamating functional and logic programming languages. In comparison with pure functional languages, an amalgamated functional logic language has more expressive power. In comparison with pure logic languages, functional logic languages have a better control behaviour. The latter will be shown by presenting methods to translate logic programs into a functional logic language with a narrowing/rewriting semantics. The translated programsproduce the same set of answers and have at least the same efficiency as the original programs. But in many cases the control behaviour of the translated programs is improved. This requires the addition of further knowledge to the programs. We discuss methods for this and show the gain in efficiency by means of several examples.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121992
 Publication Status: Issued
 Pages: -
 Publishing info: Berlin, Germany : Springer
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519554
Other: Local-ID: C1256104005ECAFC-85007DD550419F1EC125614400621F7E-Hanus92c
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Leuven, Belgium
Start-/End Date: 1992

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming
Source Genre: Proceedings
 Creator(s):
Bruynooghe, Maurice, Editor
Wirsing, Martin, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 23 Identifier: -

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -