At-Kaci, H., Nasr, R.: Integrating logic and functional programming. Lisp and Symbolic Computation 2 (1989)  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Complete and Recursive Feature Theory - Backofen, Smolka (1992) (12 citations) (Correct)
....They originated in the late seventies with so called unification grammars [15, 13] a by now popular family of declarative grammar formalisms for the description and processing of natural language. More recently, the use of feature descriptions in logic programming has been advocated and studied [3, 4, 5, 6, 21]. Essentially, feature descriptions provide a logical version of records, a data structure found in many programming languages. Feature descriptions have been proposed in various forms with various formalizations [1, 2, 14, 18, 11, 20, 7, 12] We will follow the logical approach pioneered by ....
H. Ait-Kaci and R. Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51--89, 1989.
Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1993) (22 citations) (Correct)
....feature of the residuation strategy is that goals whose atoms are all residuated are taken as answers. Often such complex answers are fine as they are. For instance, if length is a length predicate for lists, the goal 9N (length(L; N) N 47) The term residuation was coined by Hassan Ait Kaci [1] for delaying control schemes. L is a list with at most 47 elements ) is a perfect answer. If the user is not satisfied with a complex answer, he can request indeterminate reduction of a residuated atom. Residuation is similar to the control strategy of the Andorra model [8, 9] with the ....
H. Ait-Kaci and R. Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51--89, 1989.
A Flexible Meta-Solver Framework for Constraint Solver.. - Frank, Hofstedt, Mai (2003) (Correct)
No context found.
At-Kaci, H., Nasr, R.: Integrating logic and functional programming. Lisp and Symbolic Computation 2 (1989)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC