I have written stuff in Prolog, but I find this lambda Prolog syntax very difficult to grok.