Abstract
In this abstract we describe a new version of the Flang system [3]. In this version we have implemented a modified cc(FD) scheme [2]. The main novelties are that constructive disjunction (ConDis) and the cardinality operator (CardOp) from
References
P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, 1989.
P. Van Hentenryck, V.Saraswat, Y. Deville. Constraint processing in cc(FD). Draft, 1991.
A.Mantsivoda, V.Petukhin, A.Weimann. Memory Management of Constraints in Flang. 10th Int. Conf on Logic Prog., MIT Press, 1993, 633–646.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mantsivoda, A. (1994). Flang system: A new version. In: Hermenegildo, M., Penjam, J. (eds) Programming Language Implementation and Logic Programming. PLILP 1994. Lecture Notes in Computer Science, vol 844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58402-1_41
Download citation
DOI: https://doi.org/10.1007/3-540-58402-1_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58402-5
Online ISBN: 978-3-540-48695-4
eBook Packages: Springer Book Archive