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.

20Years Old ?Users ?Jobs
  • the soul website
  • soul first appeared in 2000
  • Have a question about soul not answered here? Email me and let me know how I can help.

Last updated February 7th, 2020

Edit soul on GitHub