Re: swipl on Fedora 20

Jan Wielemaker <[email protected]> Tue, 29 Apr 2014 08:57:26 +0200
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]>
On 04/28/2014 10:51 PM, Bengbers wrote:
> I have installed swipl on my fedora 20 machine, using the command "yum
> install pl pl-devel".
> 
> When starting swipl I get this result:
> Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 6.4.1)
> Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
> and you are welcome to redistribute it under certain conditions.
> Please visit http://www.swi-prolog.org for details.
> 
> For help, use ?- help(Topic). or ?- apropos(Word).
> 
> ?-
> 
> so one would think that it is installed correctly. However, I can't start
> manpce.
> This command results in:
> ?- manpce.
> ERROR: toplevel: Undefined procedure: manpce/0 (DWIM could not correct goal)
> 
> Question 1: How can I fix this?

A bit of Googling shows the package "pl-xpce".  That looks promising.

> Another problem is that sometimes while entering a command, the first
> character automatically changes from lowercase to uppercase. (I can't
> predict if this will happen or not).
> 
> So entering 'simple' changes to 'Simple' resulting in:
> ?- Simple.
> % ... 1,000,000 ............ 10,000,000 years later
> % 
> %       >> 42 << (last release gives the question)
> 
> Is this behaviour intentional? (And is it correct that the message refers to
> the hitchikers guide to galaxy)

The latter, yes.  The former?  This isn't Prolog itself.  My guess is
that it
is your terminal emulator that has some spelling auto-correction enabled.
Never seen anything like that though.

	Cheers --- Jan