2 papers
cs.PL2011
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
Paulo Moura, Artur Miguel Dias
We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} ove…
cs.PL2010
Towards a Study of Meta-Predicate Semantics
Paulo Moura
We describe and compare design choices for meta-predicate semantics, as found in representative Prolog module systems and in Logtalk. We look at the consequences of these design ch…