L-FLAT is a Logtalk toolkit for teaching Formal Languages and Automata Theory. This toolkit is a full rewrite of P-FLAT, a Prolog toolkit:

P-FLAT home page

For Logtalk information visit:

Logtalk web site