Logic Macroprogramming for Wireless Sensor Networks
It is notoriously difficult and tedious to program Wireless Sensor Networks (WSNs). To simplify WSN programming, the authors propose Sense2P, a logic macro-programming system for abstracting, programming, and using WSNs as globally deductive databases. Unlike macro-programs in previous works, their logic macro-programs can be described declaratively and imperatively. In Sense2P, logic macro-programmers can easily express a recursive program or query that is unsupported in existing database abstractions for WSNs. They have evaluated Sense2P analytically and experimentally. Their evaluation result indicates that Sense2P successfully realizes the logic macro-programming concept while consuming minimal energy as well as maintaining completeness and soundness of the answers.