Re: [m-users.] A predicate taking a lists of predicates as input?
Volker Wysk <[email protected]> Wed, 24 Sep 2025 18:09:17 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
SGksIEFuZGVycy4KCkkgZG9uJ3QgY29tcGxldGVseSBnZXQgd2hhdCB5b3UncmUgdHJ5aW5nIHRv IGRvIG5vdywgYnV0IHlvdSBjYW4gaGF2ZQptdWx0aXBsZSBtb2RlIGxpbmVzIGZvciBhIHByZWRp Y2F0ZSwgd2l0aCBkaWZmZXJlbnQgZGV0ZXJtaW5pc20gY2F0ZWdvcmllcwppbiB0aGVtLiBGb3Ig aW5zdGFuY2U6Cgo6LSBwcmVkID8obGlzdCh0YV9ydWxlKFRLTlMpKSwgVEtOUywgVEtOUykuCjot IG1vZGUgPyhpbihsaXN0KHByZWQoaW4sIG91dCkgaXMgc2VtaWRldCkpLCBpbiwgICBvdXQpLgo6 LSBtb2RlID8oaW4obGlzdChwcmVkKGluLCBvdXQpIGlzIGRldCkpLCAgICAgaW4sICAgb3V0KS4K CllvdSBjb3VsZCBhbHNvIHNodXQgdXAgdGhlIGRldGVybWluaXNtIHdhcm5pbmcgd2hpY2ggeW91 IGdldCwgYnkgdXNpbmcgIjotCnByYWdtYSBub19kZXRlcm1pbmlzbV93YXJuaW5nKC4uLikiLgoK Q2hlZXJzLApWb2xrZXIKCkFtIE1pdHR3b2NoLCBkZW0gMjQuMDkuMjAyNSB1bSAxNzozNSArMDIw MCBzY2hyaWViIEFuZGVycyBMdW5kc3RlZHQ6Cj4gPiAlIGdpdmVzIGNvbXBpbGF0aW9uIGVycm9y LCBidXQgbm90IGlmIHRoZSBib3RoIHRoZSBkZXRlcm1pbmlzbSBvZiA/IGFuZAo+ID4gb2YKPiA+ ICUgdGhpcyBwcmVkaWNhdGUgaXMgY2hhbmdlZCB0byBzZW1pZGV0LCBpbiB3aGljaCBjYXNlIHdl IGdldCB3YXJuaW5ncwo+ID4gYWJvdXQKPiA+ICUgdG9vIGxvb3NlIGRldGVybWluaXNtIGZvciA/ Cj4gPiA6LSBwcmVkIHRlc3RfMShsaXN0KGNoYXIpOjppbiwgbGlzdChjaGFyKTo6b3V0KSBpcyBk ZXQuCj4gPiB0ZXN0XzEgLS0+ID8oW1snYSddLCA/KFtbJ2InXV0pXSkuCj4gCj4gU29ycnksIHRy aWVkIHRvIHNpbXBsaWZ5IHRvbyBtdWNoLiBIZXJlIGlzIGEgY29ycmVjdCBleGFtcGxlOgo+IAo+ IDotIHByZWQgcl9hKGxpc3QoY2hhcik6OmluLCBsaXN0KGNoYXIpOjpvdXQpIGlzIHNlbWlkZXQu Cj4gOi0gcHJlZCByX2IobGlzdChjaGFyKTo6aW4sIGxpc3QoY2hhcik6Om91dCkgaXMgc2VtaWRl dC4KPiByX2EgLS0+IFsnYSddLgo+IHJfYiAtLT4gWydiJ10uCj4gJSBnaXZlcyBjb21waWxhdGlv biBlcnJvciwgYnV0IG5vdCBpZiB0aGUgYm90aCB0aGUgZGV0ZXJtaW5pc20gb2YgPyBhbmQgb2YK PiAlIHRoaXMgcHJlZGljYXRlIGlzIGNoYW5nZWQgdG8gc2VtaWRldCwgaW4gd2hpY2ggY2FzZSB3 ZSBnZXQgd2FybmluZ3MKPiBhYm91dAo+ICUgdG9vIGxvb3NlIGRldGVybWluaXNtIGZvciA/Cj4g Oi0gcHJlZCB0ZXN0XzEobGlzdChjaGFyKTo6aW4sIGxpc3QoY2hhcik6Om91dCkgaXMgZGV0Lgo+ IHRlc3RfMSAtLT4gPyhbcl9hLCA/KFtyX2JdKV0pLgo+IF9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCj4gdXNlcnMgbWFpbGluZyBsaXN0Cj4gdXNlcnNAbGlz dHMubWVyY3VyeWxhbmcub3JnCj4gaHR0cHM6Ly9saXN0cy5tZXJjdXJ5bGFuZy5vcmcvbGlzdGlu Zm8vdXNlcnMKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K dXNlcnMgbWFpbGluZyBsaXN0CnVzZXJzQGxpc3RzLm1lcmN1cnlsYW5nLm9yZwpodHRwczovL2xp c3RzLm1lcmN1cnlsYW5nLm9yZy9saXN0aW5mby91c2Vycwo=