"Prolog (synaxarion)"@cs .