Potter's Wheel: An Interactive Data Cleaning System
HiLog : A Foundation for Higher-Order Logic Programming