From lojban+bncCAAQ8c-E8gQaBOXpMpA@googlegroups.com Tue Aug 09 05:28:48 2011 Received: from mail-yw0-f61.google.com ([209.85.213.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QqlQK-0005RL-NU; Tue, 09 Aug 2011 05:28:48 -0700 Received: by ywt32 with SMTP id 32sf9917540ywt.16 for ; Tue, 09 Aug 2011 05:28:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mime-version:content-type:content-disposition:x-pgp-key:x-pgp-keyid :x-cunselcu'a-valsi:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe; bh=aV3QFa6BH2lWvLRRG+NbDq5sKUC3ClDU1mMks0wPp2c=; b=Vo9fXgEBVWKtsUtJkIjwOf9RlxJfZVoRK5066y7jGcyBtllVd4w2mIYnv8ammhLBgh OKILAWhm6dsktwyFLlbWPeY1rgoOldY3vMa2H4ieYw9HWzGFzGC5ioXspDLTufrbARrg gCX5C70utHVXVkDt4LKc0YGFi+zh20yBDq8tI= Received: by 10.236.175.3 with SMTP id y3mr209408yhl.29.1312892913903; Tue, 09 Aug 2011 05:28:33 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.100.30.24 with SMTP id d24ls2459274and.6.gmail; Tue, 09 Aug 2011 05:28:32 -0700 (PDT) Received: by 10.236.79.200 with SMTP id i48mr451708yhe.12.1312892912693; Tue, 09 Aug 2011 05:28:32 -0700 (PDT) Received: by 10.151.138.5 with SMTP id q5msybn; Tue, 9 Aug 2011 01:41:25 -0700 (PDT) Received: by 10.42.161.66 with SMTP id s2mr4129797icx.1.1312879284958; Tue, 09 Aug 2011 01:41:24 -0700 (PDT) Received: by 10.42.161.66 with SMTP id s2mr4129796icx.1.1312879284950; Tue, 09 Aug 2011 01:41:24 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org [192.94.73.19]) by gmr-mx.google.com with ESMTPS id l1si34395555pbi.0.2011.08.09.01.41.23 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 09 Aug 2011 01:41:23 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19; Received: from gonzales.homelinux.org (root@sverige.freeshell.org [192.94.73.4]) by sdf.lonestar.org (8.14.4/8.14.3) with ESMTP id p798fMtV014048 for ; Tue, 9 Aug 2011 08:41:23 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1QqhsI-0007TK-LM for lojban@googlegroups.com; Tue, 09 Aug 2011 10:41:22 +0200 Date: Tue, 9 Aug 2011 10:41:22 +0200 From: Martin Bays To: lojban@googlegroups.com Subject: [lojban] nitcion's Lojban->Prolog semantic analyser Message-ID: <20110809084122.GC2955@gonzales> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="7qSK/uQB79J36Y4o" Content-Disposition: inline X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: bartu User-Agent: Mutt/1.5.21 (2010-09-15) X-Original-Sender: mbays@sdf.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) smtp.mail=mbays@sdf.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , --7qSK/uQB79J36Y4o Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable coi I've recently been contemplating again the feasibility of a formal semantics for (restricted parts of) lojban. I (re)discovered Nick Nicholas' work from '93 http://www.lojban.org/files/papers/lojban_parser_paper http://lojban.org/files/software/analyser http://nuzban.wiw.org/archive/9303/msg00092.html=20 I was wondering: does anyone know if any more work along these lines was ever done? Nick's work is mildly impressive as it stands, though quite limited and written in a dialect of prolog which appears to be specific to the NU-PROLOG implementation, the antiquated code for which I've tried and failed to get compile on my modern linux machine... Martin --7qSK/uQB79J36Y4o Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk5A8rIACgkQULC7OLX7LNbmcwCg1EIHQZ4hrIqIegiPRbLcHPcs BpIAn0PIkhCUzwimloJsqfLJ9Bp+IEi0 =iGm7 -----END PGP SIGNATURE----- --7qSK/uQB79J36Y4o--