Path: utzoo!attcan!uunet!mcsun!ukc!edcastle!aipna!kv
From: kv@aipna.ed.ac.uk (Karen Valley)
Newsgroups: comp.lang.prolog
Subject: Compiling Arity Prolog
Message-ID: <2414@aipna.ed.ac.uk>
Date: 27 May 90 14:18:00 GMT
Reply-To: kv@aipna.ed.ac.uk (Karen Valley)
Organization: Dept of AI, Edinburgh University, UK.
Lines: 33

Hi,

I don't normally read this group so apologies if this has been done to
death in the past.

I've been banging my head off of a brick wall for the past few weeks
trying to compile some Arity Prolog to make a stand-alone program, and
it's driving me mad. I won't bore you with the details, but here's a
trivialised version of the problem:

File 1: compiled file. 

:- public main/0

main :- start.

start :- reconsult(foo), call(go).

File 2: foo.ari

go :- write('I am here').


Why does the stand-alone version fail when it gets to call(go)? More
importantly - how can I get it to work? It will work if the call is
changed to 'call(go(here))' and go is changed to 'go(here).' only, i.e.
no conditional predicates, but I need to be able to run code.

I'd rather not compile File 2 as the files loaded at run-time depend on
choices the user makes.

Any suggestions by e-mail to kv@uk.ac.ed.aipna. Thanks in advance,
Karen