A translator from graphical component-based embedded systems designs to prolog

An embedded system is a computer system designed to perform one or a few dedicated functions[1][2] often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts.

Embedded Sytem Desing Introduction