1. P. Brisset, et al. ECL
i
PS
e
4.0 User Manual. IC-Parc at Imperial College, London, July 1998.
2. Philippe Codognet. A tabulation method for constraint logic programs. In Proceedings of INAP’95, 8th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, October 1995.
3. Baoqiu Cui and David S. Warren. Attributed variables in XSB. In Proceedings of Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pages 61–74, Las Cruces, New Mexico, USA, December 1999.
4. The XSB Group. The XSB logic programming system, version 2.0, 1999. Available from
http://www.cs.sunysb.edu/~sbprolog
.
5. Christian Holzbaur. Specification of Constraint Based Inference Mechanisms through Extended Unification. PhD thesis, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, 1990.