Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Wed, 20 Jan 2021 19:24:49 -0800 Received: from mail-pg1-f187.google.com ([209.85.215.187]:53817) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l2QaV-00E9JT-71 for lojban-list-archive@lojban.org; Wed, 20 Jan 2021 19:24:49 -0800 Received: by mail-pg1-f187.google.com with SMTP id r29sf340997pga.20 for ; Wed, 20 Jan 2021 19:24:46 -0800 (PST) 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-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-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 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== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:date:message-id :mime-version:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=V8ojBwT6DiUpjz3p0zd1e5IFEQsdk3rc/iSzab6d5iY=; b=n2tIxOT/fFrVmtDQow36BoKlQKie2IeHXS1g+S7USCJS2ZmItQ8NA/griC4SRZMJCM C/8kwtsc0hF1cptOOvhnmf7xQ2wPByDlTDM2upY4RI6OYXU74vC+2D5RktCr+R+CfpAB hXH8lQUxongjY5nTd6WJ1HDrBUCADaMdqIJmvHxycU1brSoWGj3QjOlKD31Oyd/Ygwhz mViHz3sMyFeX8/Xznh8DoiH7TVYPN22TsOmkn1TY64T+KXcABIOsJ5STX7AlIfvSC327 yV064lIRUUr6Z7nbB2WJwF2VYS5KFDGXMPojsvhVxVQw5ZvJ/O1BeaO0eFYc/cogNVNs S4WQ== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM5306IqpzFMybLZnaLk1Hb1jTMay/SV73E0b1eOgXZqV1avs1H8f8 XLQhBkJtsOOxqxdTWtEX3wg= X-Google-Smtp-Source: ABdhPJyQjcRetTLRnOVl/7RfAZCT9f9v90VWqmcFVZPcs0aqfIJj8UfHhoxhcc9s1OqGz++ZZY0N5Q== X-Received: by 2002:a17:90a:de06:: with SMTP id m6mr9025827pjv.167.1611199485838; Wed, 20 Jan 2021 19:24:45 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a17:90b:511:: with SMTP id r17ls416416pjz.1.canary-gmail; Wed, 20 Jan 2021 19:24:45 -0800 (PST) X-Received: by 2002:a17:90b:1b4f:: with SMTP id nv15mr9269891pjb.105.1611199484966; Wed, 20 Jan 2021 19:24:44 -0800 (PST) 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== 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-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 Received: from icebubble.org (smtp.icebubble.org. [2607:f2f8:a1d8::b19:0:f0b]) by gmr-mx.google.com with ESMTPS id d13si238844pgm.5.2021.01.20.19.24.44 for (version=TLS1 cipher=AES128-SHA bits=128/128); Wed, 20 Jan 2021 19:24:44 -0800 (PST) Received-SPF: pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) client-ip=2607:f2f8:a1d8::b19:0:f0b; Received: from petunia by icebubble.org with local-bsmtp (Exim 4.76) (envelope-from ) id 1l2QgU-0005DV-An for lojban@googlegroups.com; Thu, 21 Jan 2021 03:30:58 +0000 Received: from rusat by cmarib.ramside with local (Exim 4.72) (envelope-from ) id 1l2OaP-0007wL-KB for lojban@googlegroups.com; Thu, 21 Jan 2021 01:16:33 +0000 From: scope845hlang343jbo@icebubble.org To: lojban@googlegroups.com Subject: [lojban] Lojban sub-grammar for Prolog programs Date: Thu, 21 Jan 2021 01:16:33 +0000 Message-ID: <868s8nytqm.fsf@cmarib.ramside> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Original-Sender: scope845hlang343jbo@icebubble.org X-Original-Authentication-Results: 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 Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -2.8 (--) X-Spam_score: -2.8 X-Spam_score_int: -27 X-Spam_bar: -- 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.