Pervasive Logic

Pervasive Logic is a logic programming language derived from Prolog and designed specifically for embedded applications. PLE (Pervasive Logic Engine) is an engine for pervasive logic language designed to be an intelligent component in complex SOA achitectures.