Anulap is an attempt to represent distributed information while maintaining partial correctness.