A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)

Fernández, Justino; Gómez, Jaime Fernández; Carro, Manuel; Cabeza, Daniel; Hermenegildo, Manuel V.

doi:10.1007/978-3-540-24836-1_8

Cited by 11 publications

(17 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Persistent predicates enable the programmer to store data that persists from one execution to the next and is stored transparently, i.e., the program's source code need not be changed with the storage mechanism. However the implementation presented in [2] has two major Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.…”

Section: Related Workmentioning

confidence: 99%

“…Our program transformation automatically transforms abstraction (1) into the database specific version (3) which can be translated at run time into the SQL query (2).…”

Section: Database Specific Combinatorsmentioning

confidence: 99%

“…The notion of persistent predicates is introduced in [2] where a database and a file based implementation are provided. Persistent predicates enable the programmer to store data that persists from one execution to the next and is stored transparently, i.e., the program's source code need not be changed with the storage mechanism.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

A functional logic database library

Fischer

2005

Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming

View full text Add to dashboard Cite

Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code to access files or relational databases. Functional logic programming provides a natural framework to transparent persistent storage through persistent predicates, i.e., predicates with externally stored facts.We describe a functional logic database library, based on persistent predicates, for Curry. Our library supports functional logic programming with databases in the background, i.e., the programmer can access a database without storage specific code employing functional logic programming techniques.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Our program transformation automatically transforms abstraction (1) into the database specific version (3) which can be translated at run time into the SQL query (2).…”

Section: Database Specific Combinatorsmentioning

confidence: 99%

See 1 more Smart Citation

A functional logic database library

Fischer

2005

Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming

View full text Add to dashboard Cite

show abstract

“…-Persistence, which makes it possible to transparently save and restore the state of selected facts of the dynamic datábase of a program on exit and startup. This is the base of a high-level interface with databases [26]. -Answer set programming [38], an alternative logic programming model based on the stable model semantics [40].…”

Section: ?-Use_package(functional) ?-[321] = ~Nrev(x)mentioning

confidence: 99%

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Hermenegildo¹,

Bueno²,

Carro³

et al. 2008

Concurrency, Graphs and Models

View full text Add to dashboard Cite

Abstract. We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system.

show abstract

“…If one uses declarative programming languages, the first part can be implemented with reasonable efforts (in particular, if one uses libraries with appropriate interfaces, see, for instance, [10,12,18] for database programming). In contrast, the construction of the user interface is usually complex and tedious.…”

Section: Motivationmentioning

confidence: 99%

Putting declarative programming into the web

Hanus¹

2007

Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipulate complex data in a type-safe way, i.e., it is ensured that only type-correct data is accepted by the interface, where types can be specified by standard types of a programming language as well as any computable predicate on the data. The interfaces are web-based, i.e., the data can be manipulated with standard web browsers without any specific requirements on the client side. However, if the client's browser has JavaScript enabled, one could also check the correctness of the data on the client side providing immediate feedback to the user. In order to release the application programmer from the tedious details to interact with JavaScript, we propose an approach where the programmer must only provide a declarative description of the requirements of the user interface from which the necessary JavaScript programs and HTML forms are automatically generated. This approach leads to a very concise and maintainable implementation of web-based user interfaces. We demonstrate an implementation of this concept in the declarative multi-paradigm language Curry where the integrated functional and logic features are exploited to enable the high level of abstraction proposed in this paper.

show abstract

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)

Cited by 11 publications

References 5 publications

A functional logic database library

A functional logic database library

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Putting declarative programming into the web

Contact Info

Product

Resources

About