l i n u x - u s e r s - g r o u p - o f - d a v i s
L U G O D
 
Next Meeting:
November 4: Social gathering
Next Installfest:
TBD
Latest News:
Oct. 10: LUGOD Installfests coming again soon
Page last updated:
2010 Nov 21 23:49

The following is an archive of a post made to our 'vox-tech mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
Re: [vox-tech] entering a prolog program?
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox-tech] entering a prolog program?



On Fri, 2010-11-19 at 20:05 -0800, Brian Lavender wrote:
> Can you type in axioms into prolog from the command line? All I seem to
> be able to do is load a program and query it. 
> 
> Can I just enter the following program at the prolog prompt?
> 
> factorial(0,1).
>   
> factorial(A,B) :-  
>            A > 0, 
>            C is A-1,
>            factorial(C,D),
>            B is A*D. 
> 
> 
> All I seem to be able to do is load it. I am using SWI prolog.
> 
> $ swipl
> ?- ['factorial.pl'].
> true.
> 
> If I try the following, I get an error. 
> 
> ?- factorial(0, 1).
> ERROR: toplevel: Undefined procedure: factorial/2 (DWIM could not correct goal)

Typing [user]. the way you typed ['factorial.pl']. will enter an
interactive rule entry mode. When you're finished with that mode, hit
Ctrl-D to return to query mode.

--Ken


_______________________________________________
vox-tech mailing list
vox-tech@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox-tech



LinkedIn
LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
facebook
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
O'Reilly and Associates
For numerous book donations.