From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noah Lavine Newsgroups: gmane.lisp.guile.devel Subject: Re: The progress of hacking guile and prolog Date: Thu, 11 Nov 2010 14:10:27 -0500 Message-ID: References: <201010212223.23822.stefan.itampe@gmail.com> <87bp66q8g5.fsf@gnu.org> <201011101855.59284.stefan.itampe@gmail.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1289502656 25749 80.91.229.12 (11 Nov 2010 19:10:56 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 11 Nov 2010 19:10:56 +0000 (UTC) Cc: guile-devel@gnu.org To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Nov 11 20:10:52 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PGcXp-0005u1-J0 for guile-devel@m.gmane.org; Thu, 11 Nov 2010 20:10:52 +0100 Original-Received: from localhost ([127.0.0.1]:40578 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PGcXg-00054Y-90 for guile-devel@m.gmane.org; Thu, 11 Nov 2010 14:10:40 -0500 Original-Received: from [140.186.70.92] (port=41665 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PGcXb-0004wG-PY for guile-devel@gnu.org; Thu, 11 Nov 2010 14:10:37 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PGcXV-0005m9-KT for guile-devel@gnu.org; Thu, 11 Nov 2010 14:10:31 -0500 Original-Received: from mail-wy0-f169.google.com ([74.125.82.169]:48836) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PGcXV-0005lm-D5 for guile-devel@gnu.org; Thu, 11 Nov 2010 14:10:29 -0500 Original-Received: by wyf23 with SMTP id 23so2578947wyf.0 for ; Thu, 11 Nov 2010 11:10:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type; bh=VozENCF+pcylH+Frjp6JILgAdmf4FTnejr3anP4lQ7Q=; b=CNmm7kBmvR/hIaIzFroXCih+SLQPPJANsP9PuoPTj3xOrmMaXnBbuxHIc+T9866Q8c iMae9/kOnsCF9bu/t6lDZmN8RyNt2L3L8faWHr3GMnc9ETyoOz/R5+iU41hF7LWP/IYW 7op2lak89i8o4PYZa2F6KSYU9A7aaUyVWSa9M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=TJwmZqlQ2YAdG7e3lyl5XhjnMFt35nDmoNTtUeB7sKPO9F9Q7zrPNeES59LXNlUEZl oylWl86g1fPK4E+RCgUWSV4F8C6QHyueXbXBVgYdFsRAhYpTD4a++Uqx1UJ0RAX2diCs 0AJxFlwiVu41cCbFBcC0xJUSUJL4pJnr7jq/8= Original-Received: by 10.216.180.69 with SMTP id i47mr1113108wem.37.1289502627121; Thu, 11 Nov 2010 11:10:27 -0800 (PST) Original-Received: by 10.216.237.34 with HTTP; Thu, 11 Nov 2010 11:10:27 -0800 (PST) In-Reply-To: <201011101855.59284.stefan.itampe@gmail.com> X-Google-Sender-Auth: WfhQ32b4sycVk_F8WQHPVx4_qwI X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11129 Archived-At: Hello, > I think that we have similar synaptical fireworks here. The actual > implementation and syntax should be a result of understanding the line of > reasoning in these theorem povers and checkers. So let my try to explain what > I'm heading. I will try to write a little about where I am in a few days and > we can continue the discussion then. Great! > Shall we say that you implement a JIT compiler and I progress with the glil->c > stuff. I was uncertain an a little afraid that I toed you here. That sounds good. In general though, please don't worry about treading on my territory or anything like that. I will be happy as long as Guile gets new features, and I am fine not being the person who writes them. Noah