1. Introduction
  3. User Guide
  4. Getting Started
  5. Concepts
    ❱
    1. Rules and Facts
    2. Conclusions
    3. Superiority
    4. Negation
  8. Reference
  9. SPL Format
  10. CLI Reference
  12. Guides
  13. Algorithms
  14. Variables and Grounding
  15. Arithmetic Expressions
  16. Temporal Reasoning
  17. Modal Operators
  18. Trust-Weighted Reasoning
  19. Query Operators
  20. Explanation System
  21. Process Mining
  22. Performance Tuning
  23. Troubleshooting
  24. Changelog
  26. Integration
  27. Rust Library
  28. WebAssembly
  30. Internals
  31. Architecture
  32. Optimization Notes