Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Sun, 24 Jan 2021 13:35:37 -0800 Received: from mail-yb1-f184.google.com ([209.85.219.184]:50559) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l3n2l-00E75t-28 for lojban-list-archive@lojban.org; Sun, 24 Jan 2021 13:35:37 -0800 Received: by mail-yb1-f184.google.com with SMTP id l3sf12183394ybl.17 for ; Sun, 24 Jan 2021 13:35:34 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1611524134; cv=pass; d=google.com; s=arc-20160816; b=Ar2PkuE6NcUEetpIZ3lP1ru2BCBnWodaJcWMTMHv4S1r1vJ3JdWe2PvOkSJoaX0cDz YuIsZPAW6Hq7iwyEfbxgFhj4JxJf2y8H/YeEe5oMsaCifi4TCcE9ux555V7R3B3gxpEk +cR/OmasmP3uZMzZPImmhz28XqpPaMLxY0ShEyhrk+1Rlf/CgARICzwyIVCkGUrZM6oQ /Gsp43lxLWhqc9vRJ8oCwcIabkqwJ+vQzjoSHM9rcXEAOVOS5TOQm9ujqOiapir0h2W2 VVEKSyhAGX1i+U2MnG6pRAMiRoPakOkt2gZYexgmQdaLGP34L+7aUYw8UwmvptZfOnLQ Q+gQ== 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 :in-reply-to:date:references:subject:to:from:sender:dkim-signature; bh=FDv8uIOj7JzF7dioPYLYDBa3EJ08pxtuLkI4RoyGGjA=; b=EKKzsz4B0InELdsxGOIx61Tz8OkDpDRZpF1Q70B/LklRwtQMreZsb4zMxVsrHs7kw1 lZved1aTLWD5mPu/URhYirRNXAqe16HP1mIET20h0Op/VX9v4bY9lbHa9T2PVfN7mTon /qb0v/5ntmJEgSfvXVCtumPxcbDMUrpaM437t0fFlN1gk7Ex9h6Dpc2BL1Do+EjERSvO 9P1xqK1Zw9FNK21vR2XQJEEw7VazmqIOySsotnf9FXaLRJD3mpe06B15wz1sxtfnnknX xL16gaJum1oZL2xrqouRNBtkQswfvagf+mxaXCVCQSYwKwK4teTNqzT8M5danh9/W/Z0 XDqg== 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:references:date:in-reply-to: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=FDv8uIOj7JzF7dioPYLYDBa3EJ08pxtuLkI4RoyGGjA=; b=l0vlyYkhDY2J1poPpu+zbCsjXvcli9yvmNPcpic4ngrY8Oy9+V505qXuN96mtjMnlk V5VooHnWOp7e9ZG7v4uxkf4mKDmwJlV1e9cOMV8fzJFxH1PbhdSrdZCuNcuPP30GdF/i cgU9EAKGIxTCqKZ9759fLH37STR5DahnPyU/XDBdGdZ2OZUFps4G1oSmy0hCCCf5QP8x reQmaQ1JXlb5wS3w+EidLslCBC36UM+qzffjfWhrGkvxnjTliGSjOIHF9x+zlKF9t/XY BIBi14SpdlHqic3/mxQ4c2E1r5cyMGW3+m+dip9q0wE9uhQ3tBrHtqRKYtfAgJXBDJ6s FuaQ== 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:references:date :in-reply-to: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=FDv8uIOj7JzF7dioPYLYDBa3EJ08pxtuLkI4RoyGGjA=; b=ExoT3mIZLZ11b9O3iiHnTM2jbanODHwy9j1Hb4nc00fa+q5vu2fCF+xFQhNq4s5nM2 yLaByMeCAh4rLWouTW9voi53Xc+72Z82mX3V6eNsOfO/eiggX1HM6ESCWS9aARUxe1HF XVFDMftf8+Eo2nHCi0Zj2XER8YIcr1ZmW4DLPlKRKBnXVi3lwqqDQP5aSW0c6EcTpyxF lmK981ai36izE1vPwWHeVmuw9I7ElgU2FQLoIZHQ/MVO7UlF5SeBuL7R7nKvnzhbiVRD h1DrofzMj5yIOXX/qKl/Hhifs9c0GTYoBsukdgwB2RMu0VI5QbEadoMi/R2AOw7FgcxZ OpiA== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM5338ps6Ygn6DnnKv078Cj3AfiM81JlQLfdBOZemgqFLXoLjYHQPo UmyjR5fpXAWz7LHNL3OwJyE= X-Google-Smtp-Source: ABdhPJxcDO1s/dkDwSBbEEYJ7tMM7bcN6Un1dqJj+uvuG8MQTLWOygbJauW3OYGD+ldZj4HjkQkkrQ== X-Received: by 2002:a5b:404:: with SMTP id m4mr16910ybp.436.1611524133993; Sun, 24 Jan 2021 13:35:33 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a25:7314:: with SMTP id o20ls5893833ybc.0.gmail; Sun, 24 Jan 2021 13:35:33 -0800 (PST) X-Received: by 2002:a25:688c:: with SMTP id d134mr21591305ybc.477.1611524133517; Sun, 24 Jan 2021 13:35:33 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1611524133; cv=none; d=google.com; s=arc-20160816; b=N6JMpntXXDjsZ0WnrMencNrb74fgpbJTm7mh+/bnjDUHMSjnepoLrsvt9b/JJUUepe IAhkpyxPFEszOSSIl3YjDUIgJKNMwwh/rIBIAJDUynsvwR1owlevbVExjSUeCz6KL+wt GSOFRyQlWpudHu7NwZBbgjC9pLsjUnpapeJKl54hG1ej9bz6Ro8YdH7kK5ILsjvS9bHX K26aYir0o8GylO3TAyRv2cQWbRMCCG2TQ4teUa9bLopFNzJsrTKYegY+oITjiWHx8y9e XaS2APX5aqBA2PQJg/GA+mBusP9iyz7kS6SkyYIFrONv3qZA1Ovdi9PYSYqczwLi4lDE 7qeg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:in-reply-to:date:references:subject:to:from; bh=XvMplrZXjLbi3UKpciHX2lSuHu8zBu9O8mMo3lYUDA8=; b=hSY0rVrYhRUaihqQeoTjn108TNOLBG9SaRqTwOR+wbi/a9KRPyb6XoeL892QeE607N bFCo9IC52YI21eA6ALsKil5qKFQBq2XUSdY6Aw4IZ/5W3fkXU+aTiV8eb68HCwD61VOp GAiNVKAeJuCmdCGf9Q+MFsjN5oKFvAd7badGrM1tYIqaseGmVUdegb/x4m6rgnyrRnRP Af5jaQVBc9tD9Ezmqea5FH1fkOv9eq9mUR0l8d6VpOA4u5obKhID9AyBSMViNr/a59Gc 1hJhr62cNawXwM176+7lCoFq50vXK74f4LKik5BQ9gYZXggfRUE0MtAabOHY+MpvE7e0 xygA== 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 i142si371748yba.5.2021.01.24.13.35.33 for (version=TLS1 cipher=AES128-SHA bits=128/128); Sun, 24 Jan 2021 13:35:33 -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 1l3n8q-0008Kq-Jl for lojban@googlegroups.com; Sun, 24 Jan 2021 21:41:52 +0000 Received: from rusat by cmarib.ramside with local (Exim 4.72) (envelope-from ) id 1l3kZp-0001W6-KA for lojban@googlegroups.com; Sun, 24 Jan 2021 18:57:33 +0000 From: scope845hlang343jbo@icebubble.org To: lojban@googlegroups.com Subject: [lojban] Re: Lojban sub-grammar for Prolog programs References: <868s8nytqm.fsf@cmarib.ramside> Date: Sun, 24 Jan 2021 18:57:33 +0000 In-Reply-To: (gleki's message of "Thu, 21 Jan 2021 01:47:41 -0800 (PST)") Message-ID: <864kj69n8i.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: -- "gleki.is...@gmail.com" writes: > https://github.com/YoshikuniJujo/lojysamban ? Hm. Nope. That contains an interpreter for a Prolog-like subset of Lojban, but it doesn't contain any specification for the language. It looks like it contains a bunch of gobble-de-gook in Japanese, but I I have no idea what that says. The specification I remember seeing was definitely in English. The intrepreter for this language (lojysamban) is written in Haskell. The spec I saw was just a spec, without an interpreter. In addition, lojysamban does not appear to implement Prolog's "cut" (!) predicate. The specification which I saw, way back when, had a way to specify cuts in the code. So, no, this appears to be a different animal. -- 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/864kj69n8i.fsf%40cmarib.ramside.