A higher-order logic programming language with constraints
| dc.contributor.author | Nieva Soto, Susana | |
| dc.contributor.author | Leach Albert, Javier | |
| dc.date.accessioned | 2023-06-20T17:04:20Z | |
| dc.date.available | 2023-06-20T17:04:20Z | |
| dc.date.issued | 2001 | |
| dc.description | The authors have been partially supported by the Spanish National Project TIC 98-0445-C03-02 TREND. | |
| dc.description.abstract | We present a framework for the combination of Constraint Logic Programming (tiCLP) and higher-order Hereditary Harrop Formulas (tihoHH). Our aim is to improve the expressiveness of traditional Logic Programming with the benefits of both fields: tiCLP and tihoHH. The result is denoted higher-order Hereditary Harrop Formulas with Constraints (hoHH(C)). The syntax of hoHH is introduced using lambda-terms and is enriched with a basic constraint system. Then an intuitionistic sequent calculus is defined for this combined logic, that preserves the property of an abstract logic programming language. In addition, a sound and complete procedure for goal solving is presented as a transformation system that explains the operational semantics. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | TIC | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/17203 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.officialurl | http://link.springer.com/chapter/10.1007%2F3-540-44716-4_7 | |
| dc.identifier.relatedurl | http://link.springer.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/57725 | |
| dc.journal.title | Lecture Notes in Computer Science | |
| dc.language.iso | spa | |
| dc.page.final | 122 | |
| dc.page.initial | 108 | |
| dc.publisher | Springer Verlag | |
| dc.relation.projectID | 98-0445-C03-02 | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004.43 | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | A higher-order logic programming language with constraints | |
| dc.type | journal article | |
| dc.volume.number | 2024 | |
| dcterms.references | Clark, K.L., Negation as Failure, in: H. Gallaire and J. Minker (eds.), Logic and Databases 293-322, Plenum Press, 1978. Felty, A., Implementing Tactics and Tacticals in a Higher-Order Logic Program-ming Language, Journal of Automated Reasoning 11(1):43-81 (1993). Hanus, M. (ed.), Curry: an Integrated Functional Logic Language, Version 0.7, February 2, 2000. Available at http://www.informatik.uni-kiel.de/~curry/. Jaffar, J. and Maher, M.J., Constraint Logic Programming: A Survey, Journal of Logic Programming 19(20):503-581 (1994). Leach, J., Nieva, S. and Rodríguez-Artalejo, M., Constraint Logic Programming with Hereditary Harrop Formulas in: J. Ma luszynski (ed.), ILPS'97 307{321, MIT Press, 1997. Michaylov, S., Pfenning, F., Higher-Order Logic Programming as Constraint Logic Programming,in: Proc. of First Workshop on Principles and Practice of Constraint Programming, 221-229, Brown University, 1993. Miller, D., A Logical Analysis of Modules in Logic Programming, Journal of Logic Programming 6(1,2):79-108 (1989). Miller, D., Nadathur, G., Pfenning, F. and Scedrov, A., Uniform Proofs as a Foundation for Logic Programming, Annals of Pure and Applied Logic 51:125-157 (1991). Miller, D., Nadathur, G. and Scedrov, A., Hereditary Harrop Formulas and Uniform Proof Systems, in: D. Gries (ed.), LICS'87 98-105, IEEE Comp. Soc. Press, 1987. Nadathur, G. and Miller, D., An Overview of Prolog, in: K.A. Bowen and R. A. Kowalski (eds.), ICLP'88 810-827, MIT Press, 1988. Nerode, A., Some Lectures on Intuitionistic Logic, in: S. Homer, A. Nerode, R.A. Platek, G.E. Sacks, A. Scedrov (eds.), LCS'88 12-59, Springer LNM 1429, 1988. Saraswat, V., The Category of Constraint Systems is Cartesian Closed, in: LICS'92 341-345, IEEE Comp. Soc. Press, 1992. Tarski, A., A Decision Method for Elementary Algebra and Geometry , University of California Press, 1951. | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 21132b4a-0809-4135-9a71-0b771813a8e9 | |
| relation.isAuthorOfPublication | 700e0e32-6c94-43f9-9c48-4c42ef20957b | |
| relation.isAuthorOfPublication.latestForDiscovery | 21132b4a-0809-4135-9a71-0b771813a8e9 |
Download
Original bundle
1 - 1 of 1