Re: [m-users.] A predicate taking a lists of predicates as input?
"Zoltan Somogyi" <[email protected]> Fri, 26 Sep 2025 15:28:39 +1000 (AEST)
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
CgpPbiBXZWQsIDI0IFNlcCAyMDI1IDE3OjM1OjUwICswMjAwLCBBbmRlcnMgTHVuZHN0ZWR0IDxt ZXJjdXJ5LXVzZXJzQGFuZGVyc2x1bmRzdGVkdC5zZT4gd3JvdGU6Cj4gU29ycnksIHRyaWVkIHRv IHNpbXBsaWZ5IHRvbyBtdWNoLiBIZXJlIGlzIGEgY29ycmVjdCBleGFtcGxlOgo+IAo+IDotIHBy ZWQgcl9hKGxpc3QoY2hhcik6OmluLCBsaXN0KGNoYXIpOjpvdXQpIGlzIHNlbWlkZXQuCj4gOi0g cHJlZCByX2IobGlzdChjaGFyKTo6aW4sIGxpc3QoY2hhcik6Om91dCkgaXMgc2VtaWRldC4KPiBy X2EgLS0+IFsnYSddLgo+IHJfYiAtLT4gWydiJ10uCj4gJSBnaXZlcyBjb21waWxhdGlvbiBlcnJv ciwgYnV0IG5vdCBpZiB0aGUgYm90aCB0aGUgZGV0ZXJtaW5pc20gb2YgPyBhbmQgb2YKPiAlIHRo aXMgcHJlZGljYXRlIGlzIGNoYW5nZWQgdG8gc2VtaWRldCwgaW4gd2hpY2ggY2FzZSB3ZSBnZXQg d2FybmluZ3MgYWJvdXQKPiAlIHRvbyBsb29zZSBkZXRlcm1pbmlzbSBmb3IgPwo+IDotIHByZWQg dGVzdF8xKGxpc3QoY2hhcik6OmluLCBsaXN0KGNoYXIpOjpvdXQpIGlzIGRldC4KPiB0ZXN0XzEg LS0+ID8oW3JfYSwgPyhbcl9iXSldKS4KClRoZSBpc3N1ZSBoZXJlIGlzIHRoYXQgeW91ciA/IHBy ZWRpY2F0ZSAod2hpY2ggSSB3aWxsIGNhbGwgIm9wdGlvbmFsIikgaXMgZGV0LApidXQgc2VlbXMg dG8gdGFrZSBhIGxpc3Qgb2Ygc2VtaWRldCBwcmVkaWNhdGVzIChjbG9zdXJlcyksIHdoaWNoIGNh dXNlcwphIGRldGVybWluaXNtIG1pc21hdGNoIGlmIHlvdSB3YW50IHRvIGluY2x1ZGUgYSBjbG9z dXJlIG9mIG9wdGlvbmFsCml0c2VsZiBpbiBvbmUgb2YgdGhvc2UgbGlzdHMuCgpUaGUgc2ltcGxl IHNvbHV0aW9uIGhlcmUgaXMgdG8gcHV0IGEgd3JhcHBlciBhcm91bmQgdGhpcyBjbG9zdXJlIHRv IGRvCndoYXQgaXMgZWZmZWN0aXZlbHkgYSBkZXRlcm1pbmlzbSBjYXN0LiBUaGlzIGNhbiBiZSBk b25lIHVzaW5nIGNvZGUKbGlrZSB0aGlzOgoKOi0gcHJlZCBvcHRpb25hbF9zZW1pZGV0KC4uLikg aXMgc2VtaWRldC4KCm9wdGlvbmFsX3NlbWlkZXQoSW4sIE91dCkgOi0KICAgICggaWYgc2VtaWRl dF9zdWNjZWVkIHRoZW4KICAgICAgICBvcHRpb25hbChJbiwgT3V0KQogICAgZWxzZQogICAgICAg IGZhaWwKICAgICkuCgpPcGVyYXRpb25hbGx5LCB0aGlzIGRvZXMgZXhhY3RseSB0aGUgc2FtZSBh cyBvcHRpb25hbChJbiwgT3V0KSwgYnV0CnRoZSBjb21waWxlciBoYW5kbGVzIGl0IGFzIGEgc2Vt aWRldCBwcmVkaWNhdGUgdGhhdCBqdXN0IGhhcHBlbnMKdG8gYWx3YXlzIHN1Y2NlZWQuCgpUaGVu LCB3aGVuZXZlciB5b3Ugd2FudCB0byBwdXQgYSBjbG9zdXJlIG9mIG9wdGlvbmFsIGluIGEgcG9z aXRpb24Kd2hlcmUgeW91IG5lZWQgYSBkZXQgcHJlZGljYXRlLCB5b3UgcGFzcyBhIGNsb3N1cmUg b2Ygb3B0aW9uYWxfc2VtaWRldAppbnN0ZWFkLgoKSSB3b3VsZCBhbHNvIHBvaW50IHlvdSB0byB0 aGUgbGluayBuYW1lZCAiVGhlIFhZIHByb2JsZW0iIG9uIHRoZQpodHRwczovL21lcmN1cnlsYW5n Lm9yZy9jb250YWN0Lmh0bWwgcGFnZS4gSXQgc2VlbXMgYXBwbGljYWJsZQppbiB0aGlzIGluc3Rh bmNlLgoKWm9sdGFuLgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwp1c2VycyBtYWlsaW5nIGxpc3QKdXNlcnNAbGlzdHMubWVyY3VyeWxhbmcub3JnCmh0dHBz Oi8vbGlzdHMubWVyY3VyeWxhbmcub3JnL2xpc3RpbmZvL3VzZXJzCg==