Repository for Logic Applied to Programming

Example:
  * Prolog