Logtalk/examples/threads/nondet
