Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Apt, K.: Principles of constraint programming. Cambridge University Press, Cambridge (2003)
2. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data bases. Plenum Pub., New York (1978)
3. Colmerauer, A., Dao, T.: Expressiveness of full first-order constraints in the algebra of finite or infinite trees. Journal of Constraints 8(3), 283–302 (2003)
4. Colmerauer, A.: An introduction to Prolog III. Communication of the ACM 33(7), 68–90 (1990)
5. LNAI;K. Djelloul,2008