1. Cornell List Processor.
2. Constraint Logic Programming.
Try this search on Wikipedia, OneLook, Google