CLOG
CLOG is a simple but efficient first-order decision list learning system. First-order decision lists are essentially Prolog clauses each ending with a cut (!). Decision lists can be employed as a representation language for a wide range of tasks.
CLOG has been primarily developed with natural language applications in mind. So far, CLOG has been successfully employed for morphology learning tasks.
