Skip to main content

4 Result(s)

within Chapter Remove this filter Jesús M. Almendros-Jiménez Remove this filter Logics and Meanings of Programs Remove this filter Programming Languages, Compilers, Interpreters Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Computational Model for Functional Logic Deductive Databases

    This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ‘finite failu...

    Jesús M. Almendros-Jiménez, Antonio Becerra-Terón… in Logic Programming (2001)

  2. No Access

    Chapter and Conference Paper

    A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

    In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the ...

    Jesús M. Almendros-Jiménez, Antonio Becerra-Terón in Functional and Logic Programming (2001)

  3. No Access

    Chapter and Conference Paper

    Solving Constraints on Sets of Spatial Objects

    In this paper, we present a constraint solver for constraints on sets of spatial objects. With this aim, we define a constraint system for handling spatial data types (points, lines, polygons and regions) and con...

    Jesús M. Almendros-Jiménez, Antonio Corral in Practical Aspects of Declarative Languages (2005)

  4. No Access

    Chapter and Conference Paper

    Automatic Partial Inversion of Inductively Sequential Functions

    We introduce a new partial inversion technique for first-order functional programs. Our technique is simple, fully automatic, and (when it succeeds) returns a program that belongs to the same class of the orig...

    Jesús M. Almendros-Jiménez, Germán Vidal in Implementation and Application of Function… (2007)