soul is a query language created in 2000.

Program queries can answer important software engineering questions ranging from “is my code bug free?” over “does my code follow the prescribed design?” to “how can my code be refactored?”. SOUL is a Prolog-like language with specialized features for querying programs.

• soul website
• soul first developed in Vrije Universiteit Brussel
• Read more about soul on the web: 1. 2.