Re: [m-users.] A predicate taking a lists of predicates as input?
Volker Wysk <[email protected]> Sun, 21 Sep 2025 18:51:12 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
SGksIEFuZGVycwoKWW91IGhhdmUgdHdvIGVycm9yczoKCjEuIFlvdSBkb24ndCBuZWVkIGFuZCBj YW4ndCBoYXZlIHRoZSBUTktTIGFyZ3VtZW50IHRvIHlvdXIgdGFfcnVsZSBpbnN0LApzaW5jZSBp dCBpc24ndCB1c2VkIG9uIHRoZSByaWdodCBzaWRlLgoKMi4gWW91IG5lZWQgdG8gc3BlY2lmeSBh IGhpZ2hlciBvcmRlciBpbnN0IG1hdGNoaW5nIHlvdXIgaGlnaGVyIG9yZGVyIHR5cGUsCmZvciBi b3RoIHByZWRpY2F0ZXMuCgpEbyBpdCBsaWtlIHRoaXM6Cgo6LSB0eXBlIHRhX3J1bGUoVEtOUykg PT0gIHByZWQoVEtOUywgVEtOUykuICUgJ3RhJyBhYmJyZXZpYXRlcyAndHlwZSBhbGlhcycKOi0g aW5zdCB0YV9ydWxlICAgICAgID09IChwcmVkKGluLCAgIG91dCkgaXMgc2VtaWRldCkuCgo6LSBw cmVkID8obGlzdCh0YV9ydWxlKFRLTlMpKSwgVEtOUywgVEtOUykuCjotIG1vZGUgPyhpbihsaXN0 KHRhX3J1bGUpKSwgICBpbiwgICBvdXQpLgoKOi0gcHJlZCBhcHBseV9ydWxlcyhsaXN0KHRhX3J1 bGUoVEtOUykpLCBUS05TLCBUS05TKS4KOi0gbW9kZSBhcHBseV9ydWxlcyhpbihsaXN0KHRhX3J1 bGUpKSwgICBpbiwgICBvdXQpIGlzIHNlbWlkZXQuCgpDaGVlcnMsClZvbGtlcgoKQW0gU29ubnRh ZywgZGVtIDIxLjA5LjIwMjUgdW0gMTg6MjggKzAyMDAgc2NocmllYiBBbmRlcnMgTHVuZHN0ZWR0 Ogo+IERlYXIgYWxsLAo+IAo+IAo+IEZvciB0aGUgcHVycG9zZSBvZiBhIHBhcnNlciBJIGFtIHdy aXRpbmcsIEkgd2FudCB0byBoYXZlIGEgRENHIHJ1bGUgPwo+IHRha2luZyBhIGxpc3Qgb2YgRENH IHJ1bGVzIGFzIGlucHV0IGFuZCB0aGF0IHRoZW4gdHJpZXMgdG8gYXBwbHkgYWxsCj4gcnVsZXMg aW4gdGhlIGxpc3QuCj4gCj4gCj4gR2l0SHViIEdpc3Qgb2YgdGhlIGZvbGxvd2luZzoKPiAKPiBo dHRwczovL2dpc3QuZ2l0aHViLmNvbS9hbmRlcnNsdW5kc3RlZHQvMWY1YjFkOGFkNmI0ZDI0MDRk YWU0YTYwMmQzZDkyMGQKPiAKPiAKPiBNeSBhdHRlbXB0Ogo+IAo+IDotIHR5cGUgdGFfcnVsZShU S05TKSA9PcKgIHByZWQoVEtOUywgVEtOUykuICUgJ3RhJyBhYmJyZXZpYXRlcyAndHlwZQo+IGFs aWFzJwo+IDotIGluc3QgdGFfcnVsZShUS05TKSA9PSAocHJlZChpbizCoMKgIG91dCkgaXMgc2Vt aWRldCkuCj4gCj4gOi0gcHJlZCA/KGxpc3QodGFfcnVsZShUS05TKSksIFRLTlMsIFRLTlMpLgo+ IDotIG1vZGUgPyhpbizCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGluLMKgwqAg b3V0KS4KPiA/KFJVTEVTKSAtLT4gKAo+IMKgIGFwcGx5X3J1bGVzKFJVTEVTKSAtPiB7dHJ1ZX07 Cj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB7dHJ1ZX0K PiApLgo+IAo+IDotIHByZWQgYXBwbHlfcnVsZXMobGlzdCh0YV9ydWxlKFRLTlMpKSwgVEtOUywg VEtOUykuCj4gOi0gbW9kZSBhcHBseV9ydWxlcyhpbizCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgIGluLMKgwqAgb3V0KSBpcyBzZW1pZGV0Lgo+IGFwcGx5X3J1bGVzKFtdKcKgwqDC oMKgIC0tPiB7dHJ1ZX0uCj4gYXBwbHlfcnVsZXMoW1J8UlNdKSAtLT4gUiwgYXBwbHlfcnVsZXMo UlMpLgo+IAo+IAo+IENvbXBpbGF0aW9uIGVycm9yOgo+IAo+IEluIGNsYXVzZSBmb3IgYGFwcGx5 X3J1bGVzKGluLCBpbiwgb3V0KSc6Cj4gwqAgaW4gYXJndW1lbnQgMSAoaS5lLiB0aGUgcHJlZGlj YXRlIHRlcm0pIG9mIGhpZ2hlci1vcmRlciBwcmVkaWNhdGUKPiDCoCBjYWxsOgo+IMKgIG1vZGUg ZXJyb3I6IHZhcmlhYmxlIGBSJyBoYXMgaW5zdGFudGlhdGVkbmVzcyBgZ3JvdW5kJywKPiDCoCBl eHBlY3RpbmcgaGlnaGVyLW9yZGVyIHByZWQgaW5zdCBvZiBhcml0eSAyLgo+IAo+IAo+IEFueSBh ZHZpY2Ugd291bGQgYmUgZ3JlYXRseSBhcHByZWNpYXRlZCEKPiAKPiAKPiAKPiBCZXN0LAo+IAo+ IEFuZGVycyBMdW5kc3RlZHQKPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fXwo+IHVzZXJzIG1haWxpbmcgbGlzdAo+IHVzZXJzQGxpc3RzLm1lcmN1cnlsYW5n Lm9yZwo+IGh0dHBzOi8vbGlzdHMubWVyY3VyeWxhbmcub3JnL2xpc3RpbmZvL3VzZXJzCl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCnVzZXJzIG1haWxpbmcg bGlzdAp1c2Vyc0BsaXN0cy5tZXJjdXJ5bGFuZy5vcmcKaHR0cHM6Ly9saXN0cy5tZXJjdXJ5bGFu Zy5vcmcvbGlzdGluZm8vdXNlcnMK