A computer network for executing a logic program, comprising:a. a plurality of nodes including first and second nodes, each node of said plurality of nodes including a processor and local memory which is accessible by said processor in said node; b. a plurality of communication channels for transmitting information between said plurality of nodes, each one of said plurality of communication channe