CLP

1. Cornell List Processor.

2. Constraint Logic Programming.