Re: after using exec/1 swipl exits, and returns to BASH ... is that normal ?
From: Jan Wielemaker (jan_at_ct.xs4all.nl)
Date: 03 Nov 2004 08:26:05 GMT
In article <XZWdnYWpUNL4gBXcRVnyhw@pipex.net>, DEMAINE Benoit-Pierre wrote:
> after using exec/1 swipl exits, and returns to the BASH prompt ... is
> that normal ?
Yes. exec/1 comes from library(unix) and does what the Unix exec() family
does: replace the process, something you can use together with fork/1, pipe/2,
etc. to do cute things. You probably wanted to use shell/1.