HumanTalk on Prolog (04/14 Lyon)