Re: [isabelle] Isabelle 2011 and SWI-Prolog
I was also surprised by a disturbing message from an old
SWI-Prolog-5.6.? installation that caused no problem for older Isabelle
(The message and the SWI-Prolog installation is lost now. I'm under linux.)
What do I loose without SWI-Prolog?
Am 01.02.2011 16:08, schrieb Makarius:
> On Tue, 1 Feb 2011, Lukas Bulwahn wrote:
>> On 02/01/2011 03:24 PM, René Thiemann wrote:
>>> However, I figured out that only if the executable
>>> /opt/local/bin/swipl (SWI-Prolog via MacPorts)
>>> is present, then the "expr: syntax error" is displayed.
>>> To put it differently, after "mv /opt/local/bin/swipl
>>> the call "isabelle version" just displays
>>> Isabelle2011: January 2011
>>> as desired. Any ideas?
>> An experimental feature of the Isabelle system is trying to detect if
>> the swi-prolog exists and if existent, tries to determine its version
>> via the non-standard and non-portable bash/linux command expr.
>> I will improve this bash script in the development version.
>> The error message "expr: syntax error" can be ignored, and should not
>> cause the main system to fail.
> This is a known feature, it was there from the very beginning of the
> swi_prolog setup, and is also documented, see
This archive was generated by a fusion of
Pipermail (Mailman edition) and