I've been speaking with Luis Lamb and Viviane Moreira
about temporal processing with FLIF nets. Following Luis and
Artur d'Avila Garcez's paper Reasoning about Time and Knowledge
in Neural-Symbolic Learning systems, I made a FLIF net that
implemented a solution to the muddy children problem.
The code can be found
here. I zipped it
using winzip. Look at the readme for directions, of how to compile
and run the system.