Re: Global predicates in SWI and Sicstus Prolog
From: Jan Wielemaker (jan_at_ct.xs4all.nl)
Date: 08/23/04
- Next message: Student: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Previous message: Christoph Quix: "Re: Global predicates in SWI and Sicstus Prolog"
- In reply to: Christoph Quix: "Re: Global predicates in SWI and Sicstus Prolog"
- Next in thread: Bart Demoen: "Re: Global predicates in SWI and Sicstus Prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 23 Aug 2004 12:34:48 GMT
In article <2ou541Feael6U1@uni-berlin.de>, Christoph Quix wrote:
> Thanks. I have already had about the same idea. The main disadvantage
> of this approach is that global:bar/1 and bar/1 are not the same
> predicates anymore. We have a few places in our code where we load
> rules (or facts) from a file, so it would not be enough to write
> just bla(....) in that file. Or would it be enough to do the load_file('global.pl',...)
> so that terms read by read/2 are actually read with the intended module qualifiers?
> I have to check this.
For SWI you've found out. For SICStus (and SWI) you can load
non-module files into a certain module using :- consult(Module:File).
> The external language interface is a lot of work, too.
Note that there is a library (qpforeign) to deal with most
Quintus/SICStus foreign stuff from SWI as well as an emulation
layer to realise SWI-style foreign linking from SICStus. If
I recall well, there are a few more Prologs out there doing
either SWI or SICStus/Quintus style foreign interfacing.
Onces in that arena it still isn't easy, but it becomes
a lot better.
--- Jan
- Next message: Student: "Re: Godel's Incompleteness and Nonmonotonic Logic"
- Previous message: Christoph Quix: "Re: Global predicates in SWI and Sicstus Prolog"
- In reply to: Christoph Quix: "Re: Global predicates in SWI and Sicstus Prolog"
- Next in thread: Bart Demoen: "Re: Global predicates in SWI and Sicstus Prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
