Logic-programming Packages