From jay.kominek@colorado.edu Fri Mar 15 05:34:03 2002
Return-Path: <kominek@ucsub.colorado.edu>
X-Sender: kominek@ucsub.colorado.edu
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 15 Mar 2002 13:34:03 -0000
Received: (qmail 37919 invoked from network); 15 Mar 2002 13:34:02 -0000
Received: from unknown (216.115.97.172)
  by m6.grp.snv.yahoo.com with QMQP; 15 Mar 2002 13:34:02 -0000
Received: from unknown (HELO ucsub.colorado.edu) (128.138.129.12)
  by mta2.grp.snv.yahoo.com with SMTP; 15 Mar 2002 13:33:35 -0000
Received: from ucsub.colorado.edu (kominek@ucsub.colorado.edu [128.138.129.12])
  by ucsub.colorado.edu (8.11.6/8.11.2/ITS-5.0/student) with ESMTP id g2FDXZI03423
  for <lojban@yahoogroups.com>; Fri, 15 Mar 2002 06:33:35 -0700 (MST)
Date: Fri, 15 Mar 2002 06:33:35 -0700 (MST)
To: lojban@yahoogroups.com
Subject: Re: [lojban] Prolog for Lojbanists (was: lojban application in
  wearable computing)
In-Reply-To: <02031510043800.01265@linux>
Message-ID: <Pine.GSO.4.40.0203150624520.2269-100000@ucsub.colorado.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=utf-8
Content-Transfer-Encoding: QUOTED-PRINTABLE
From: Jay Kominek <jay.kominek@colorado.edu>
X-Yahoo-Group-Post: member; u=20706630
X-Yahoo-Profile: jfkominek


On Fri, 15 Mar 2002, Bj=C3=B6rn Gohla wrote:

> if you only wanted to make inferences that could be right. on the other h=
and
> if you wanted to go beyond that you might want to use lisp to implement t=
he
> inference engine and the other desired functionalities.

Fortunately, programming languages can be invoked from one another. There
is no reason you can't write the procedural portions of a program in a
procedural language, and then invoke Prolog's inference engine to handle
inferencing.

- Jay Kominek <jay.kominek@colorado.edu>
Plus =C3=A7a change, plus c'est la m=C3=AAme chose


