[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: Lojban sub-grammar for Prolog programs
- To: lojban@googlegroups.com
- Subject: [lojban] Re: Lojban sub-grammar for Prolog programs
- From: scope845hlang343jbo@icebubble.org
- Date: Sun, 24 Jan 2021 18:57: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 :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-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-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-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==
- Delivery-date: Sun, 24 Jan 2021 13:35:37 -0800
- 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==
- Envelope-to: lojban-list-archive@lojban.org
- In-reply-to: <e718a0b5-44a1-4013-ba87-1f451dfbc2e4n@googlegroups.com> (gleki's message of "Thu, 21 Jan 2021 01:47:41 -0800 (PST)")
- 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
- References: <868s8nytqm.fsf@cmarib.ramside> <e718a0b5-44a1-4013-ba87-1f451dfbc2e4n@googlegroups.com>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
"gleki.is...@gmail.com" <gleki.is.my.name@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.