garry@batcomputer.tn.cornell.edu (Garry Wiegand) (02/15/88)
I am trying to find leads to work on "Declarative", "Relational", or, most often, "Constraint-Based" programming languages. Most expert systems languages cover boolean constraints, spreadsheet programs cover numeric arrays with arithmetic constraints; I would like to find the work that's been done with general-purpose-computing constraint or declaration languages. I have found a bit of interesting work in the UIMS (user-interface management) world (that's where we are too), but very slim pickings so far out in the broader programming-language research journals. Any recent citations I could work back from would be most appreciated. garry wiegand (garry@oak.cadif.cornell.edu - ARPA) (garry@crnlthry - BITNET)