Did you know ... | Search Documentation: |
Profile for user Matias de la Fuente |
[wiki] SWI-Prolog on Redhat (Fedora, RHEL, CentOS) | This is just a comment about the build from source on Fedora 30: The only way to build succesfully is to follow the instructions here: [https://eu.swi-prolog.org/build/unix.html](https://eu.swi-prolog.org/build/unix.html) The git method is the only that worked for me. |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 109
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.429 | 10912 | Goal directed ASP solver |