Distributed Logic Languages. Encyclopedia of Parallel Computing 2011: 573