Practical Learning Logic Analyzer