Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Thu, 21 Jan 2021 01:47:45 -0800 Received: from mail-oi1-f185.google.com ([209.85.167.185]:39895) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l2WZ5-00FKeP-Px for lojban-list-archive@lojban.org; Thu, 21 Jan 2021 01:47:45 -0800 Received: by mail-oi1-f185.google.com with SMTP id k66sf712891oia.6 for ; Thu, 21 Jan 2021 01:47:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=C2/hJyzl7Af8xgmSG1ToXU2dturTbO2IiPiIy2LA4pc=; b=h5tWxYHU5yJXN0IpbeMI45mg88dC9ShepPKUFX2uM4CsUxtdZhj9PVPZXJdjORqGqm ygzS6vbLbX48FgmLWkw9yrjBgHe0yVL2iORrOqcy8ClITNYw9R349LThCVqI2mTnUEmx 6PElM/Em51DWlzYGIUg1bi14L9h4A4tOkx5KI4yOUz3q/7zLyQwx2BDGqiEjXjJlklHs aLZUhg346i7TkbGv6yTKn19b+TYcS7Afcyy0EM/xst5EiV+sNyJFy58wqzTiexNzXLz3 IpZw2hIGDjWkNd+rJ+kR01cUApWbUHE/ZASDXM6prwD4e/57mt0vsAE3lFmnT6yTnVlQ AWaw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=C2/hJyzl7Af8xgmSG1ToXU2dturTbO2IiPiIy2LA4pc=; b=gG2JfxPx+RkDRdRi5rACl+XwtWnkpEjVIIegLU/vuCCKhT8AQCFwn9NTQ0zhWMNoqh WCZvtce8vk1O0W7jOQfomuCxxxYQ6+cH/rE6GJKcUfdPhHSoZy+ZQj19Q2WAVEovZ9N7 1TK/LqzzXLxqQ/PHOsXpGFnKy1CXTRIFUM9dGemfP3u/HnG4DlWAfy7PveopVIa99s3X 6jeKJ28uF312jsyPPdMoIMjnl4kdB7dQhCt63afgER8M+bAdnlXYajst4gTYETXYP1EY BZU/PZ6AvFKtqwS3igJ5tbHOHqziShhTTDetvTWnDwdpHX6M4NKhn1P8gLzJw9x6fZsD BMHQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=C2/hJyzl7Af8xgmSG1ToXU2dturTbO2IiPiIy2LA4pc=; b=RtoABhFxfXRWYa29TXQAw8Nbwjx57XbQOMUv/VUn3riZBtFE21wvhT0I/DF8rY+Gfp wimi3ctzr61NsgFHbOlQSSDBQTHuamkSOuqmfEnrjkN8EHBAafCVOQlR/UwQWahVMT4l nFU4gbZzkE/5glG6j99QIQUCwGZdj9hLKw/SSL+vdFXBi7VE1e2dvjJrVolCctnGm4SA 80gyqCZzJU3HYxYVl4/BFlLkHxp7p+3MZvwEpZ2vZZgy4neTTw6z3MUlQZhH3OO/Dyas +WpkS0KoAEZIXEJpfCxMEtitvwBFXAK3QlNrJXW+Dm1geLIvVttzCaXcEYTBZ9gEm+zo D9VA== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM531Om7GNq6PCFIBr+mnei/8Hubl2/Fp4CTkEo3vx0MiTuXYnT8Sy huXDKGnwa3yU/lfDSJKxB3Y= X-Google-Smtp-Source: ABdhPJwnbEHK8Dt22Pc+2xOOmm3BLm/raAlwd7U8ZmYT3JmEGCQiQQGm9OjSX+jUDr4sTmRBPQJCwQ== X-Received: by 2002:a9d:65d7:: with SMTP id z23mr9930399oth.131.1611222462824; Thu, 21 Jan 2021 01:47:42 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a05:6830:1614:: with SMTP id g20ls386147otr.1.gmail; Thu, 21 Jan 2021 01:47:42 -0800 (PST) X-Received: by 2002:a05:6830:1db8:: with SMTP id z24mr9962950oti.50.1611222462236; Thu, 21 Jan 2021 01:47:42 -0800 (PST) Date: Thu, 21 Jan 2021 01:47:41 -0800 (PST) From: "gleki.is...@gmail.com" To: lojban Message-Id: In-Reply-To: <868s8nytqm.fsf@cmarib.ramside> References: <868s8nytqm.fsf@cmarib.ramside> Subject: [lojban] Re: Lojban sub-grammar for Prolog programs MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5226_1849031712.1611222461526" X-Original-Sender: gleki.is.my.name@gmail.com 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.6 (--) X-Spam_score: -2.6 X-Spam_score_int: -25 X-Spam_bar: -- ------=_Part_5226_1849031712.1611222461526 Content-Type: multipart/alternative; boundary="----=_Part_5227_7869061.1611222461526" ------=_Part_5227_7869061.1611222461526 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable https://github.com/YoshikuniJujo/lojysamban ? Em quinta-feira, 21 de janeiro de 2021 =C3=A0s 06:24:46 UTC+3,=20 scope845hlang343jbo@icebubble.org escreveu: > 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! > --=20 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 e= mail to lojban+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= lojban/e718a0b5-44a1-4013-ba87-1f451dfbc2e4n%40googlegroups.com. ------=_Part_5227_7869061.1611222461526 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
https://github.com/YoshikuniJujo/lojysamban ?
Em quinta-feira, 21 de janeiro = de 2021 =C3=A0s 06:24:46 UTC+3, scope845hlang343jbo@icebubble.org escreveu:=
Going back s= everal 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 Loj= ban
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 &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/l= ojban/e718a0b5-44a1-4013-ba87-1f451dfbc2e4n%40googlegroups.com.
------=_Part_5227_7869061.1611222461526-- ------=_Part_5226_1849031712.1611222461526--