Practical Learning Logic Software