Logtalk - declarative object-oriented logic programming language
Nix, the purely functional package manager
