Prolog Syntax.

[Diego Fernando Rodríguez Varón]

Hi everyone.

 

I'm new to logic programming and (obviously) GNU-Prolog.

 

After spending some hours trying to figure out how to make some little programs work (and finally succeeding) I have some questions.

 

1. Why can't I create a new axiom in the interactive window?

Ex.

  sunny_day.

  father(bob, susan).

 

2. I've checked the documentation entirely and there's no description of the GNU-Prolog syntax. How is anyone supposed to figure out how comments are, or what are the valid characters for an atom, variable or goal?

 

3. O.K. so I figured out that maybe the syntax was the same in the Prolog ISO Standard, but I've been trying to access the link in the manual (http://www.logic-programming.org/prolog_std.html) for several days and it just don't work. Does somebody knows why? (or where to find the standard?)

 

4. Does anyone knows of a tutorial or something alike that can help GNU-Prolog newbies?

 

5. This language rocks!

 

I'm using version 1.2.9 for win32.

 

Thanks.