Group :: Desenvolvimento/Outros
RPM: gprolog
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 1.5.0-alt1
Data da compilação: 31 agosto 2021, 20:00 ( 134.2 weeks ago )
Tamanho:: 851.51 Kb
Home page: http://www.gprolog.org
Licença: GPL-2.0-or-later or LGPL-3.0-or-later
Sumário: GNU Prolog compiler
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 31 agosto 2021, 20:00 ( 134.2 weeks ago )
Tamanho:: 851.51 Kb
Home page: http://www.gprolog.org
Licença: GPL-2.0-or-later or LGPL-3.0-or-later
Sumário: GNU Prolog compiler
Descrição:
GNU Prolog is a free Prolog compiler with constraint solving over
finite domains (FD). GNU Prolog is largely compliant with the ISO
standard and is part of the Prolog Commons initiative.
Mantenedor currente: Dmitry V. Levin finite domains (FD). GNU Prolog is largely compliant with the ISO
standard and is part of the Prolog Commons initiative.
Lista dos contribuidores Lista dos rpms provida por esta srpm: