FRDCSA
Minor
Internal
External
Git
Packages
prolog-analyzer-20210122
Jump To:
Parent Description
A static analyzing tool for Prolog written in Clojure and Prolog.
The tool uses specs for predicates based on [plspec](https://github.com/wysiib/plspec) to
find
errors statically.