[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Lojban sub-grammar for Prolog programs
- To: lojban@googlegroups.com
- Subject: [lojban] Lojban sub-grammar for Prolog programs
- From: scope845hlang343jbo@icebubble.org
- Date: Thu, 21 Jan 2021 01:16:33 +0000
- Arc-authentication-results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:mime-version:message-id :date:subject:to:from:sender:dkim-signature; bh=V8ojBwT6DiUpjz3p0zd1e5IFEQsdk3rc/iSzab6d5iY=; b=lK/nowCKT8f3z8YklGkkFjyDKayKS1Ra/L410gJqrg4X6I0mjbm+D7gUV8trmy1mdt ns508GuMfvXfDr8PscXSUaVgO5OqGJrcR5c0esPwJU2Z71Kc5eQkH+TvCrj+7SpCIY12 xZ7AVo90gOwtkm2bqBieL1e27rw52QWEXT+FqRyAmjwojKLlqAQkZ7dCwusMkUHGuTwU VNZAza7P/Lue7xigtxAUyVWh6FkdtTPgUINxpeu78kRA4HgCF8R1M5NwtmqH/9zzv3Mu 5P8j0PaAlmhV+3WZX/9Z/zcDQfpqfpvDy34yPBDhqmhpUuK9VYKpb/zymUjLtOj6yI2S HOaw==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:date:subject:to:from; bh=AhY5NIx2YvHaaCbJHKx/s0lHLGuBkMN9lK2rsvc9D94=; b=pBJWOagGmYJam9SA14uiamx5DUKj4GjL/vN3Xz7Asu6ATfC30H2VkWNsmGYQQoAP1X rJzVbHXTEm2l1RnhR5n/yyq8jJQVJmmQFwe/H+S++GaItBSuE1c5EiSnNmcxh06ZjxAs PRrVUa88VhprZI+2fSYMQMYgpNiIDrz77qqkbUYhU0iyjO+LAlyQ2XQ+FgTwt9swK8W2 SgMrsLTBm6JLNvJQ6cCmtDZWIRXX7QfSWaD31dV6d/M3dBm8XuhV2n+R0Vku12shYtcf WcOAk5cyAI9R5AHcO5mWJHH1ZcdRzVFLnVTUu8pSXV9crGlJKVMsHQ1MmiPku+4lK75A F1ZQ==
- Arc-seal: i=2; a=rsa-sha256; t=1611199486; cv=pass; d=google.com; s=arc-20160816; b=ZbgAzCaJzhZLvFHc0Fb/rH+0ZJFXYCCTqP/wyOyPOF9Quv0yJkNfxhGz68/kkDcrox cNAwGl1aSH2f++8wAUuHxSV2A9Yy01U4CU8fSWwzumWb+DzcJj8NMs+oQzzwl9Vbyn9V ZbDPGBVDSZXNlAFa6+lvPI1FMDCpVT+q+pENIxMON0nsVkaaNWjFPKVGDUQ0Uir4hPVJ LZk0ycNlmAfJQqxRISkpMADcdCQ3s7wgUQmbEMSLHS/SObzhtdLf/HwHOz3SrUz3e+fE s0u198jWbq/gKLzk+kdDSIurn6EfIuc3ZKbZ9/cybtpGfPR35U/VtOgJ9kqjHBeWBcbt 7axA==
- Arc-seal: i=1; a=rsa-sha256; t=1611199484; cv=none; d=google.com; s=arc-20160816; b=iRU01+iaoK8U6LfqL3e7g08Zgc+VRIja72ABwhHY5tXe2eVXqHr+e8NRqJex9SdkLh oT9mj2KNTWwBtMHFTWdd77/pQiYESUIbvf4R2cqQyvXZ3hXhxV7AZbRZzOLspPA6n/CZ AycluXNguT5oH4wS8NjTK8m1z/ITHwOd4gp8Y4klHRTnbG0NlVK6r3k/F7hH+rosYxiL QGRsJp1ofKrw8J8O7If69m9JzEXD20DtQRGjiK4B6TUUZI3cGaREV1xxB36/QTjGI0pZ QdYj6bZB7Q2q2ZHFsxMYiu5Mqls4kJVhHJzs2mdrLTGb4AlODjVmUqkUtQIBi7BYSccC nlCw==
- Delivery-date: Wed, 20 Jan 2021 19:24:49 -0800
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:date:message-id:mime-version :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=V8ojBwT6DiUpjz3p0zd1e5IFEQsdk3rc/iSzab6d5iY=; b=C+EqH/v0RjFqt/wRbHu+92z3cJXoiMYhNxsvV6b8DKWAc0QGVc8qNb3kuGPPl8xYr/ rinLkW1dWEb+D3ZnSbVp9u9FAa4Ri7dcrqrjUOquF+omCJx6XCr9PC0FWcvFr/B+8DWZ a/7kowd8leY5z7UstHfKuqkD5KwgnfqvkL2famTJVjtn8iAOyWvYSN0is8UH/nwyFjlP h7LHm2fCd6IH9ANqyz5/4ovQV803q0e3HsFkMCnVbHf7D1EYjAmJ+j/i/iZH1BIQibRV purzxlrPC1wm/r0nI5OM0p+RiGrULI5DImu9ovLuKtsY2wwlXgegT4DqqO+Ih/FoAUrH xuUw==
- Envelope-to: lojban-list-archive@lojban.org
- List-archive: <https://groups.google.com/group/lojba>
- List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
- List-id: <lojban.googlegroups.com>
- List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
- List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
- List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
- Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
Going back several years, I remember a page on the old Lojban Wiki which
described a subset of the Lojban grammar for expressing programs in the
Prolog programming language. Does anyone know where I can find this
proposal?
I found https://mw.lojban.org/papri/prolog_for_Lojbanists on the new
Lojban Wiki, which makes a similar proposal, but this new proposal is
more non-specific, and much shorter, than the older one. The older
proposal was much more well-developed and detailed. Would anyone know
where I can find it?
Note that I'm not looking for parsers or semantic analyzers written IN
Prolog; I'm looking for the proposal specifying a subset of the Lojban
language intended to be used to express Prolog programs AS Lojban text.
Any pointers (dereferenced or not) would be much appreciated!
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lojban/868s8nytqm.fsf%40cmarib.ramside.