I am a big fan of Prolog and concurrent logic languages as well.