Keyphrases
- lightweight
- theorem proving
- logic programming
- expert systems
- theorem prover
- programming language
- abstract machine
- prolog programs
- fixed point
- knowledge representation
- lambda calculus
- first order logic
- communication infrastructure
- wireless sensor networks
- knowledge base
- predicate calculus
- development environments
- user interface