From xod@sixgirls.org Thu Mar 14 08:17:27 2002 Return-Path: X-Sender: xod@reva.sixgirls.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 14 Mar 2002 16:17:27 -0000 Received: (qmail 94152 invoked from network); 14 Mar 2002 16:15:19 -0000 Received: from unknown (216.115.97.171) by m2.grp.snv.yahoo.com with QMQP; 14 Mar 2002 16:15:18 -0000 Received: from unknown (HELO reva.sixgirls.org) (216.27.131.50) by mta3.grp.snv.yahoo.com with SMTP; 14 Mar 2002 16:15:17 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by reva.sixgirls.org (8.11.6+3.4W/8.11.6) with ESMTP id g2EGFG618145 for ; Thu, 14 Mar 2002 11:15:16 -0500 (EST) Date: Thu, 14 Mar 2002 11:15:15 -0500 (EST) To: lojban@yahoogroups.com Subject: Re: [lojban] Prolog for Lojbanists (was: lojban application in wearable computing) In-Reply-To: <200203141608.LAA08707@mail.reutershealth.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Invent Yourself X-Yahoo-Group-Post: member; u=1138703 X-Yahoo-Profile: throwing_back_the_apple X-Yahoo-Message-Num: 13717 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? -- When a system is in harmony with the Tao, the compiler makes applications and utilities. When a system goes counter to the Tao, accounting logs fill the root directory.