gentoo.mahdi.cz
dev-lang
:teyjus
Higher-order logic programming language Lambda Prolog
https://teyjus.cs.umn.edu/
teyjus-2.1-r2
GPL-3
download
~amd64 ~x86
gentoo