Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

This article presents an introduction of microcontrollers as the first part on the series Embedded Systems Programming. It describes the structure and operation of the microcontroller, and the purpose ...