Re: pldoc: how to specify predicates with arguments unbound.
Jan Wielemaker <[email protected]> Tue, 16 Sep 2014 15:28:19 +0200
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
T24gMDkvMTYvMjAxNCAwMjozNCBQTSwgR8O8bnRlciBLbmllc2VsIHdyb3RlOgo+Pj4gSW4gdGhl IGNhc2Ugb2YgZm9vIHlvdSBhcmUgYWN0dWFsbHkgdGFsa2luZyBhYm91dCBtb2RlcywgbW9yZQo+ Pj4gcHJlY2lzZWx5IHRoZSBjb25qdW5jdGlvbiBvZiB0d28gbW9kZXMKPj4+IC0gJ21hbmRhdG9y eSBmcmVlJyAoLS0pIGFuZAo+Pj4gLSAncmVhZG9ubHknIChAKQo+Pj4KPj4+IFNvIHRoZSBsb2dp Y2FsIHNvbHV0aW9uIGZvciBzcGVjaWZ5aW5nIGZvbyBpcyB0byB3cml0ZSBALS0gZm9yIHNheWlu Zwo+Pj4gdGhhdCBhIHZhcmlhYmxlIG11c3QgYmUgZnJlZSBhbmQgb25seSBtb2RlIHRlc3Rpbmcg d2lsbCBiZSBwZXJmb3JtZWQKPj4+IG9uIGl0Lgo+Pj4KPj4+IFdoaWNoIGJvaWxzIGRvd24gdG8g YWxsb3dpbmcgY29uanVuY3Rpb24gb2YgbW9kZXMgaW4gdGhlIHN5bnRheC4KPj4+IE1vcmUgcHJl Y2lzZWx5LCB0byBhbGxvd2luZyBAIChyZWFkb25seSkgYXMgY29uanVuY3Rpb24gdG8gYW55IG90 aGVyLAo+Pj4gc2luY2UgYWxsIHRoZSBvdGhlcnMgYXJlIGRpc2pvaW50IGNhc2VzLgoKV2UgZm9y Z290IG9uZTogIjoiLCB3aGljaCBpcyB1c2VkIHRvIGRlbm90ZSB0aGF0IHRoZSBhcmd1bWVudCBp cyBtb2R1bGUKc2Vuc2l0aXZlLiBJLmUuIGlmIGNhbiBiZSB3cml0dGVuIGFzIG1vZHVsZTpWYWx1 ZSBhbmQgaWYgdGhpcyBpcyBub3QKZG9uZSB0aGUgc3lzdGVtIHdpbGwgdHVybiBWYWx1ZSBpbnRv IG1vZHVsZTpWYWx1ZSwgdXNpbmcgdGhlIGNvcnJlbnQKY29udGV4dCBtb2R1bGUuIFRoYXQgdG9v IGlzIG5vdCByZWFsbHkgYSBtb2RlIDotKCBJdCBpcyBub3QgYSB0eXBlCmVpdGhlciB0aG91Z2gu IFR5cGljYWxseSwgOlggbWVhbnMgOisrWDpjYWxsYWJsZSAoaS5lLiwgbW9kdWxlIHNlbnNpdGl2 ZQphbmQgbXVzdCBiZSBpbnN0YW50aWF0ZWQgdG8gYSBjYWxsYWJsZSB0ZXJtIGF0IGVudHJ5KSwg YnV0IHRoZXJlIGFyZQpzZXZlcmFsIGV4Y2VwdGlvbnMgd2hlcmUgdGhlIGFyZ3VtZW50IGhhcyBk aWZmZXJlbnQgbW9kZXMgYW5kIHR5cGVzLgoKVGhpcyBzdWdnZXN0cyArKywgKywgLSwgLS0gYXMg Y29yZSBtb2RlcywgQCBhbmQgOiBhcyBtb2RpZmllcnMuCgo+Pj4gQ29uanVuY3Rpb24gb2YgQCBh bmQgYW55IG90aGVyIG1vZGUgYWxzbyBtYWtlcyBzZW5zZSBiZWNhdXNlIGl0IG1ha2VzCj4+PiBl eHBsaWNpdCB0aGF0IHdlIGhhdmUgaGVyZSB0d28gY2F0ZWdvcmllcyBvZiBtb2RlczoKPj4+Cj4+ PiBAIHRhbGtzIGFib3V0IGhvdyAgYW4gYXJndW1lbnQgaXMgdXNlZCBpbnRlcm5hbGx5IGJ5IHRo ZSBjYWxsZWQKPj4+IHByZWRpY2F0ZSB3aGVyZWFzIGFsbCB0aGUgb3RoZXJzIHRhbGsgYWJvdXQg dGhlIHZhbHVlIG9mIHRoZSBhcmd1bWVudAo+Pj4gYXQgY2FsbCB0aW1lIChIb3dldmVyLCBJJ20g dW5zdXJlIGFib3V0IC0gd2hvc2UgZGlmZmVyZW5jZSB0byAtLSBJCj4+PiBkb24ndCBmdWxseSB1 bmRlcnN0YW5kLiBIb3cgY2FuIHNvbWV0aGluZyBiZSBvdXRwdXQsIGlmIGl0IHdhcyBub3QKPj4+ IGZyZWUgaW5pdGlhbGx5PykuCgotIG1lYW5zIHN0ZWFkLWZhc3RuZXNzLiBUeXBpY2FsbHkgaXMv MiBpcyByZWZlcmVuY2VkIGFzIGlzKC0sKykgKHNob3VsZApiZSArKyBpbiB0aGUgcHJvcG9zZWQg bW9kZSBhbm5vdGF0aW9uKS4gQnV0LCBgMyBpcyAxKzJgIGlzIGNvbXBsZXRlbHkKZmluZS4gIFdl IGNvdWxkIG9mIGNvdXJzZSBkZWZpbmUgdGhhdCB3ZSBoYXZlIG1vZGVzCgogICAtICBpcyArKwog ICArKyBpcyArKwoKVGhhdCBpcyBhIGxvdCBvZiB0eXBpbmcgYW5kIHByYXRpY2FsbHkgYWxsIHBy ZWRpY2F0ZXMgdGhhdCBoYXZlIGEgLQphcmd1bWVudCBhY2NlcHQgdGhhdCB0aGlzIGFyZ3VtZW50 IGlzIGFscmVhZHkgKHBhcnRpYWxseSBvciBmdWxseSkKaW5zdGFudGlhdGVkIHdpdGggdGhlIGNv cnJlY3Qgb3V0cHV0LiBJbiB0aGUgcHJvcG9zZWQgbm90YXRpb24sIC0KY2FwdHVyZXMgdGhpcy4g Rm9yIHNvbWUgcHJlZGljYXRlcywgdGhlIG91dHB1dCBtdXN0IGJlIHVuYm91bmQgb3IgdGhlCnBy ZWRpY2F0ZSB3aWxsIHByb2R1Y2UgdGhlIHdyb25nIGFuc3dlci4gU3VjaCBwcmVkaWNhdGVzIGFy ZSBub3QKc3RlYWRmYXN0IGFuZCBzaG91bGQgYmUgZml4ZWQuIEZvciBzb21lIHByZWRpY2F0ZXMg dGhvdWdoLCB0aGlzIGlzCm1lYW5pbmdsZXNzLiBFLmcuCgogICA/LSBvcGVuKGZpbGUsIHJlYWQs IDQyKS4KCmlzIGFuIGVycm9yLiBSZWFkIHdpbGwgY3JlYXRlIGEgc3RyZWFtLCBnaXZlIGl0IGEg Z3VhcmFudGVlZCB1bmlxdWUKKGdyb3VuZCkgdmFsdWUgYW5kIHRyaWVzIHRvIHVuaWZ5IHRoaXMg d2l0aCA0Mi4gVGhhdCB3aWxsIGZhaWwsIHNvClVscmljaCBwcm9wb3NlZCB0aGUgYHVuaW5zdGFu dGlhdGlvbl9lcnJvcmAgZm9yIHRoZXNlIGNhc2VzLiBJdCB3b3VsZCBiZQpuaWNlIGlmIGEgdHlw ZSBhbmQgbW9kZSBhbm5vdGF0aW9uIGNhbiBleHByZXNzIHRoaXMgaXMgaW52YWxpZC4gIFN1Y2gK YW4gYW5ub3RhdGlvbiBjYW4gdHJhcCBjb21tb24gZXJyb3JzLCBzdWNoIGFzIHJldXNpbmcgYSBT dHJlYW0gdmFyaWFibGUKZm9yIG9wZW5pbmcgdHdvIGRpZmZlcmVudCBzdHJlYW1zLgoKPj4gVGhl IGFyZ3VtZW50IGNhbiBiZSBhIHZhcmlhYmxlIG9yIGEgcGFydGx5IGluc3RhbnRpYXRlZCB0ZXJt IG9uIGlucHV0Cj4+IGFuZCBmdXJ0aGVyIGluc3RhbnRpYXRlZCBieSB0aGUgY2FsbC4KPgo+IElm IGl0IGlzIHBhcnRseSBpbnN0YW50aWF0ZWQgb3ZlcmxhcHMgd2l0aCArCj4KPiBUaHVzICsgYW5k IC0gYXJlIGFkZGl0aW9uYWwgY2FuZGlkYXRlcyBmb3IgY29uanVuY3RpdmUgdXNlIHNpbmNlICst Cj4gd291bGQgZXhwcmVzcyBleGFjdGx5IHRoZSBwYXJ0bHkgaW5zdGFudGlhdGVkIHRlcm1zIHRo YXQgd2lsbCBiZSBmdXJ0aGVyCj4gaW5zdGFudGlhdGVkLiBPciBob3cgd291bGQgb25lIGV4cHJl c3MgdGhlbSBvdGhlcndpc2U/CgpBcyBQYXVsbyBhbmQgeW91IGNsYWltaW4gZnVydGhlciBtYWls cywgY29tYmluaW5nICsgd2l0aCAtIGlzIG5vdCB2ZXJ5Cm1lYW5pbmdmdWwuICArIGFuZCAtIGhh dmUgYSB2ZXJ5IGRpZmZlcmVudCBtZWFuaW5nIHRob3VnaCwgYXMgKyBtZWFucwp0aGF0IHRoZSBh cmd1bWVudCBtdXN0IGJlIGluc3RhbnRpYXRlZCB0byB0aGUgdHlwZSBhbmQgLSBtZWFucyBpdCBt YXkKYmUgcGFydGlhbGx5IGluc3RhbnRpYXRlZC4gIFNvLCB3ZSBoYXZlIHNvcnQoKywgLSkgd2hp Y2ggbWVhbnMgdGhhdAp0aGVzZSBhcmUgZmluZToKCiAgIHNvcnQoWzIsM10sIFgpLAogICBzb3J0 KFsyLDNdLCBbNXxZXSksCgpidXQgdGhpcyBpcyBub3Q6CgogICBzb3J0KFsyfF9dLCBMKS4KClNh bWUgd2l0aCBQYXVsbydzIGFyZ3VtZW50OiBjbGF1c2UoK2hlYWQsIC1jYWxsYWJsZV90ZXJtKSBt ZWFucyB0aGF0CndlIGdldDoKCiAgIDUgPy0gY2xhdXNlKEgsIHRydWUpLgogICBFUlJPUjogQXJn dW1lbnRzIGFyZSBub3Qgc3VmZmljaWVudGx5IGluc3RhbnRpYXRlZAogICBFUlJPUjogSW46CiAg IEVSUk9SOiAgICBbNl0gY2xhdXNlKF9HNDM4MSx0cnVlKQoKV2VsbCwgSSB0aGluayB3ZSBjYW4g YXNzZW1ibGUgYSBnb29kIHNldCBvZiBtb2RlcyBmcm9tIENpYW8ncyBhc3NlcnRpb24KbGFuZ3Vh Z2UsIEVkaXNvbidzIHNpbXBsaWNhdGlvbiB0aGVyZW9mIGFuZCB0aGUgdmFyaW91cyBkb2N1bWVu dGF0aW9uCnN5c3RlbXMuICBJZGVhbGx5LCB0aGUgbW9kZXMgd2hlbiBjb21iaW5lZCB3aXRoIHR5 cGVzLCBwcm92aWRlIHByZSBhbmQKcG9zdCBjb25kaXRpb25zIGZvciBnb2Fscy4gIFNvbWVvbmU/ CgoJQ2hlZXJzIC0tLSBKYW4KCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KU1dJLVByb2xvZyBtYWlsaW5nIGxpc3QKU1dJLVByb2xvZ0BsaXN0cy5pYWku dW5pLWJvbm4uZGUKaHR0cHM6Ly9saXN0cy5pYWkudW5pLWJvbm4uZGUvbWFpbG1hbi9saXN0aW5m by5jZ2kvc3dpLXByb2xvZwo=