FICHA · AUR

scryer-prolog

An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming

  • Prolog implementation
  • CLI
  • PROLOG
  • LOGIC-PROGRAMMING
  • Launchable
  • Runs in terminal
official+codex · reviewed · Jun 4, 2026 description in en

Description

Prolog programs can be developed in a production-oriented environment that also supports research in logic and constraint programming. It is for developers and researchers using logic programming.

How to run

scryer-prolog

Commands: scryer-prolog

Permissions

Permissions not analysed for this source yet.