🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #4311

Re: Higher order prolog (code reuse)

#4311
From: Pierpaolo BERNARDI
Date: Sat, 05 Aug 2006 05:09
20 lines
1566 bytes
On Fri, 04 Aug 2006 22:44:46 +0200, <ib.mossin@hotmail.com> wrote:

> Hi,
>
> Often when writing prolog programs I write a lot of the same code again
> and again just with minor changes fx in a boolean truthtable generator
> I have almost the same predicates for every operator. What I am missing
> is somthing like macros in lisp - that is some kind of higher order
> predicate generating predicates. I hope I'm making myself clear. Is
> there some extension for prolog (I'm using swi) or is there a solution
> in standard prolog?

Show us an example.

P.



-- 
Anything below this line is being added by the newsserver
Technical Details
Message-ID: <op.tdsn93o0xbm8ci@eraora>
Path: arc1-ca.pugleaf.net!g2news2.google.com!news3.google.com!news.glorb.com!x-privat.org!not-for-mail
References: <1154724286.564589.22470@s13g2000cwa.googlegroups.com>

Show Full Headers
Complete Article Headers
X-Google-Thread: f907c,49c699ed432bb44e
X-Google-Thread: 10ea85,89e90b5cbe66d6c1,start
X-Google-Attributes: gidf907c,gid10ea85,public
X-Google-Language: ENGLISH,ASCII-7-bit
Newsgroups: comp.lang.prolog,dk.admin
Subject: Re: Higher order prolog (code reuse)
References: <1154724286.564589.22470@s13g2000cwa.googlegroups.com>
Message-ID: <op.tdsn93o0xbm8ci@eraora>
From: "Pierpaolo BERNARDI" <pierpaolo@secondbox.net>
Content-Type: text/plain; format=flowed; delsp=yes; charset=utf-8
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
User-Agent: Opera M2/8.51 (Win32, build 7712)
NNTP-Posting-Host: $$$ewkml-ojnwn8.news.x-privat.org
Organization: X-Privat NNTP Server - http://www.x-privat.org
Lines: 20
X-Authenticated-User: $$ftb1v3masqg5bg7bsxrfb-vr
X-Complaints-To: abuse@x-privat.org
Date: 5 Aug 2006 07:09:39 +0200
Path: arc1-ca.pugleaf.net!g2news2.google.com!news3.google.com!news.glorb.com!x-privat.org!not-for-mail