requirements.md

December 8, 2025 · View on GitHub

Execution in Prolog

Requirements

To execute RTEC, you need SWI-Prolog 8.2+.

Optionally, you may install GraphViz for generating the dependency graph of an RTEC program.

🠔

Contents

  1. 1Execution in Prolog
  2. 1.1Requirements