Re: [m-users.] A predicate taking a lists of predicates as input?
Anders Lundstedt <[email protected]> Thu, 25 Sep 2025 15:55:40 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <CANGMbaaeiyk-WQG+QuP+WZm8ZNX7ghbW=W2wKe3pKRp1azJveQ@mail.gmail.com> |
VGhhbmtzIGZvciB0aGUgYW5zd2VycyEKCgpJIHRoaW5rIHdoYXQgSSBhbSB0cnlpbmcgdG8gZG8g aXMgbm90IHBvc3NpYmxlIGluIE1lcmN1cnkuIEZvciBwYXJzaW5nCnB1cnBvc2VzLCBJIHdhbnQg dG8gYmUgYWJsZSB0byBkbyBzb21ldGhpbmcgbGlrZSB0aGUgZm9sbG93aW5nLiBHaXZlbiBhIGxp c3Qgb2YKRENHIHJ1bGVzIHLigoEsIC4uLiwgcuKCmSwgZWFjaCBlaXRoZXIgZGV0IG9yIHNlbWlk ZXQsIEkgd2FudCB0byBiZSBhYmxlIHRvCndyaXRlIHRoZSBydWxlCgpyIC0tPiA/KFty4oKBLCAu Li4sIHLigpldKS4KCihFdmVuIGJldHRlciB3b3VsZCB0byBiZSB0byBiZSBhYmxlIHRvIHNraXAg dGhlIGJyYWNrZXRzLikKClRoaXMgcnVsZSByIHNob3VsZCBoYXZlIHRoZSBleHBlY3RlZCBwYXJz aW5nIGJlaGF2aW9yOiBpdCBzaG91bGQgdHJ5IHRvIGFwcGx5CmVhY2ggb2YgcuKCgSwgLi4uLCBy 4oKZLCBpbiB0aGF0IG9yZGVyLCBhbmQgY29uc3VtZSB0b2tlbnMgaWYgYW5kIG9ubHkgaWYgdGhp cwpzdWNjZWVkcywgYW5kIHN1Y2NlZWQgYXMgYSBydWxlIG5vIG1hdHRlciB3aGF0LgoKVG8gYmUg YWJsZSB0byB3cml0ZSBleGFjdGx5IGFzIGluIHRoZSBhYm92ZSBkZWZpbml0aW9uIG9mIHIsIGVh Y2ggb2YgcuKCgSwg4oCmLCBy4oKZCm11c3QgYmUgb2YgdGhlIHNhbWUgdHlwZS4gVGh1cyBzb21l IG9mIHRoZSBy4oKLIGNhbm5vdCBiZSBkZXQgd2hpbGUgc29tZSBvZiB0aGUKcuKCiyBhcmUgc2Vt aWRldC4gSSBndWVzcyBvbmUgc29sdXRpb24gd291bGQgYmUgdG8gY29uc3RydWN0IGEgZGlzY3Jp bWluYXRlZAp1bmlvbiB0eXBlIHN1Y2ggdGhhdCBpbnN0ZWFkIG9mIOKAmHLigovigJkgb25lIHdy aXRlcywgZm9yIGV4YW1wbGUsIGVpdGhlcgrigJhjX2RldChy4oKLKeKAmSBvciDigJhjX3NlbWlk ZXQocuKCiynigJkuIFRoYXQgd291bGQgYmUgcXVpdGUgdmVyYm9zZSwgdGhvdWdoLgoKClRvbWFz IEJ5IDx0b21hc0BiYXN1bi5uZXQ+IHdyb3RlOgoKPiBTbyBgPycgYXBwbGllcyBhIGxpc3Qgb2Yg cnVsZXMsIGFuZCB0aGVuIHlvdSBhcmUgbmVzdGluZyB0aGVtPwoKWWVzLgoKPiBJZiB5b3UgcmVh bGx5IHdhbnQgdG8gdXNlIERDRywgaWUgZXhwZXJpbWVudCB3aXRoIHRoZSBncmFtbWFyIGFuZCBo YXZlCj4gc29tZXRoaW5nIHRoYXQgaXMgZWFzeSB0byB3b3JrIHdpdGgsIHRoZW4ganVzdCBkZWNs YXJlIGV2ZXJ5dGhpbmcKPiBub25kZXQgYW5kIGJlIGRvbmUgd2l0aCBpdC4KCkkgdGhpbmsgaXQg d2lsbCBzdWZmaWNlIHRvIGRlY2xhcmUgZWFjaCBydWxlIGFzIHNlbWlkZXQuCgo+IFRoZW4gaXQg bWlnaHQgYmUgYmV0dGVyIGlmIHlvdSB0cnkgdG8gZXhwbGFpbiB3aGF0IGl0IGlzIGFsbCBhYm91 dC4KCkkgaGF2ZSB3cml0dGVuIGEgcGFyc2VyIGluIE1lcmN1cnksIERDRy1zdHlsZSwgZm9yIGEg Y29udGV4dC1zZW5zaXRpdmUKbGFuZ3VhZ2UuIChJIGRvIG5vdCBrbm93IGlmIHRoZSBncmFtbWFy IGZvcm1hbGlzbSB1c2VkIHRvIGRlZmluZSB0aGUgbGFuZ3VhZ2UKaGFzIGEgbmFtZS4gSXQgaXMg YSBwYXJzaW5nIGV4cHJlc3Npb24gZ3JhbW1hciB3aXRoIGFkZGVkIGZlYXR1cmVzIGZyb20gYWZm aXgKZ3JhbW1hcnMuKSBJIGFtIGN1cnJlbnRseSB0cnlpbmcgdG8gc2ltcGxpZnkgdGhlIHBhcnNl ciBieSB1c2luZyB0aGUgd2VsbC1rbm93bgo/LCAqIGFuZCArIHBhcnNlciBvcGVyYXRvcnMuIFRo ZSBsYW5ndWFnZSBvciBpdHMgTWVyY3VyeS13cml0dGVuIHBhcnNlciBpcyBub3QKeWV0IHB1Ymxp YywgYnV0IG15IGltcGxlbWVudGF0aW9uIG9mIHRoZSBvcGVyYXRvcnMgYXJlOgoKaHR0cHM6Ly9n aXRodWIuY29tL2FuZGVyc2x1bmRzdGVkdC9tZXJjdXJ5LWV4cGVyaW1lbnRzL3RyZWUvbWFzdGVy L3BhcnNpbmctb3BlcmF0b3JzCgooVGhhbmtzIHRvIGV2ZXJ5b25lIG9uIHRoaXMgbWFpbGluZyBs aXN0IHdobyBoYXMgaGVscGVkIG1lISBGdXJ0aGVyIGlucHV0IG9mCmNvdXJzZSBhcHByZWNpYXRl ZCwgYnV0IGZvciBteSBwcmVzZW50IHB1cnBvc2VzIHByb2JhYmx5IG5vdCBuZWVkZWQuKQoKCgpC ZXN0LAoKQW5kZXJzCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCnVzZXJzIG1haWxpbmcgbGlzdAp1c2Vyc0BsaXN0cy5tZXJjdXJ5bGFuZy5vcmcKaHR0cHM6 Ly9saXN0cy5tZXJjdXJ5bGFuZy5vcmcvbGlzdGluZm8vdXNlcnMK