Results 321 to 330 of about 1,138,309 (354)
Some of the next articles are maybe not open access.
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
, 2005The International Workshop on Curry and Functional Logic Programming (WCFLP 2005), took place in Tallinn (Estonia) on September 29, 2005, as part of the International Conference on Functional Programming (ICFP 2005).The integration of functional and ...
S. Antoy, M. Hanus
semanticscholar +1 more source
Functional programing and the logical variable
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985Logic programming offers a variety of computational effects which go beyond those customarily found in functional programming languages. Among these effects is the notion of the “logical variable.” i.e. a value determined by the intersection of constraints, rather than by direct binding. We argue that this concept is “separable” from logic programming,
openaire +1 more source
Logic programming within a functional framework
2005The functional programming language LML (for Logical Meta-Language) is presented. Like most trendy representatives of its category, LML is a higher-order, pattern-matched, polymorphically-typed, non-strict functional language. Its distinctive feature is the presence of a data type of theories, whose objects represent logic programs.
BROGI, A +3 more
openaire +3 more sources
Free theorems for functional logic programs
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification, 2010Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be derived without consulting function definitions. Is the same possible in a strongly, and polymorphically, typed functional logic language?
Christiansen, Jan +2 more
openaire +2 more sources
A typed functional extension of logic programming
New Generation Computing, 1992A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause
SHIN, DW +3 more
openaire +2 more sources
Functional and Constraint Logic Programming
2001Starting at a seminal paper published by J. Jaffar and J.L. Lassez in 1987 [JL87], Constraint Logic Programming (CLP) has developed as a powerful programming paradigm which supports a clean combination of logic (in the form of Horn clauses) and domain-specific methods for constraint satisfaction, simplification and optimization.
openaire +1 more source
Transformation and Debugging of Functional Logic Programs
2010The Italian contribution to functional-logic programming has been significant and influential in a number of areas of semantics, and semantics-based program manipulation techniques. We survey selected topics, with a particular regard to debugging and transformation techniques. These results as usual depend on the narrowing strategy which is adopted and
ALPUENTE Maria +2 more
openaire +4 more sources
Functional Logic Programming: From Theory to Curry
Programming Logics, 2013M. Hanus
semanticscholar +1 more source
Relational algebras, logic, and functional programming
ACM SIGMOD Record, 1984Relational algebras as developed by Codd and his followers are extended by noting an equivalence with functional languages. This leads to higher order relations, recursive definitions of relations, and the use of higher order relations as recursive data structures.
openaire +2 more sources
Contracts and Specifications for Functional Logic Programming
International Symposium on Practical Aspects of Declarative Languages, 2012S. Antoy, M. Hanus
semanticscholar +1 more source