Language

Package: swi-prolog @ 8.3.20

Synopsis

ISO/Edinburgh-style Prolog interpreter

Description

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.

Home page
https://www.swi-prolog.org/
Location
gnu/packages/prolog.scm (line: 87, column: 2)
License

Lint warnings

LinterMessageLocation
tests-true

Check if tests are explicitly enabled

#:tests? must not be explicitly set to #t