From b.gohla@gmx.de Fri Mar 15 01:04:59 2002 Return-Path: X-Sender: b.gohla@gmx.de X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 15 Mar 2002 09:04:59 -0000 Received: (qmail 93128 invoked from network); 15 Mar 2002 09:04:58 -0000 Received: from unknown (216.115.97.171) by m6.grp.snv.yahoo.com with QMQP; 15 Mar 2002 09:04:58 -0000 Received: from unknown (HELO mail.gmx.net) (213.165.64.20) by mta3.grp.snv.yahoo.com with SMTP; 15 Mar 2002 09:04:58 -0000 Received: (qmail 8819 invoked by uid 0); 15 Mar 2002 09:04:56 -0000 Received: from b7a5c.pppool.de (HELO linux) (213.7.122.92) by mail.gmx.net (mp014-rz3) with SMTP; 15 Mar 2002 09:04:56 -0000 Content-Type: text/plain; charset="utf-8" To: lojban@yahoogroups.com Subject: Re: [lojban] Prolog for Lojbanists (was: lojban application in wearable computing) Date: Fri, 15 Mar 2002 10:04:38 +0100 X-Mailer: KMail [version 1.2] References: In-Reply-To: MIME-Version: 1.0 Message-Id: <02031510043800.01265@linux> Content-Transfer-Encoding: quoted-printable From: =?utf-8?q?Bj=C3=B6rn=20Gohla?= Reply-To: b.gohla@gmx.de X-Yahoo-Group-Post: member; u=36703491 X-Yahoo-Profile: badbirdde -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Thursday 14 March 2002 17:15, Invent Yourself wrote: > On Thu, 14 Mar 2002, John Cowan wrote: > > Rob Speer scripsit: > > > I wish I knew something about what Prolog was. > > > > Short summary of Prolog for Lojbanists: > > > > To which the Prolog system will reply "la fred." The system sees that > > "ma patpatfu la fred." matches the rule head "da patpatfu de" and then > > attempts to match the members of the conjunct against existing facts > > or rule heads. > > This makes it seem that Prolog is an elegant solution for a Lojban > inference engine. Can the same be said of Lisp? if you only wanted to make inferences that could be right. on the other han= d=20 if you wanted to go beyond that you might want to use lisp to implement the= =20 inference engine and the other desired functionalities. - --=20 Article 5 from the Universal Declaration of Human Rights No one shall be subjected to torture or to cruel, inhuman or degrading treatment or punishment. pub 1024D/834F4976 2001-01-07 Bj=C3=B6rn Gohla (Wissenschaftler, Weltb=C3= =BCrger)=20 Key fingerprint =3D 9FF4 FEDA CCDF DA0E 14D5 8129 6C14 3C39 834F 4976 sub 1024g/29571FE2 2001-01-07 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.4 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE8kbkrbBQ8OYNPSXYRAh4PAJ9ktikzbo+yQ2465aU1Gp5yNz3NCgCgtUBB oYJw3Gg7MAHC7t+DA2aXJgo=3D =3DsCe2 -----END PGP SIGNATURE-----