Prolog Inductive Debugger identifies and will possibly fix invisible Prolog issues, such as:
- Base Case
- Inductive Step
- Termination
- Tail Recursion
Lucianpedia Wiki
Prolog Inductive Debugger identifies and will possibly fix invisible Prolog issues, such as: