timgluz/prolog_examples archive