Abstract | ||
---|---|---|
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: sharing computations across non-deterministic branching and the declarative encapsulation of logic search. We then present a formal approach which shows how these improvements can be realized and prove the soundness of our approach. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-76637-7_9 | APLAS |
Keywords | Field | DocType |
tighter integration,logic search,logic programming,separate aspect,declarative encapsulation,formal approach | Functional logic programming,Programming language,Horn clause,Computer science,Logic optimization,Inductive programming,Multimodal logic,Theoretical computer science,Prolog,Declarative programming,Logic programming | Conference |
Volume | ISSN | ISBN |
4807 | 0302-9743 | 3-540-76636-7 |
Citations | PageRank | References |
26 | 0.88 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Braßel | 1 | 181 | 12.47 |
Frank Huch | 2 | 69 | 5.55 |