How to begin with Visual Prolog 1

[debiesven]

I'm new to Prolog. I'v got only 1 question: How can I start with Prolog using Visual Prolog?

I currently have:
- Visual Prolog 7.1 installed
- Made a new project
- Build the project
- Opened main.pro

main.pro:

implement main
    open core

constants
    className = "main".
    classVersion = "".

clauses
    classInfo(className, classVersion).

clauses
    run():-
        console::init(),
        succeed(). % place your own code here

end implement main

goal
    mainExe::run(main::run).

And I have the following code:

parent( pam, bob).
parent( tom, bob).
parent( tom, liz).
parent( bob, ann).
parent( bob, pat).
parent( pat, jim).
female( pam).
male( tom).
male( bob).
female( liz).
female( ann).
female( pat).
male( jim).

offspring( Y, X) :-
parent( X, Y).

mother( X, Y) :-
parent( X, Y),
female( X).

grandparent(X, Z) :-
parent( X, Y),
parent( Y, Z).

sister( X, Y) :-
parent( Z, X),
parent( Z, Y),
female( X),
different( X, Y).

predecessor(X,Z ) :-
parent( X, Z).

predecessor( X, Z) :-
parent( X, Y),
predecessor(Y, Z).

I tried the following:

implement main
    open core

constants
    className = "main".
    classVersion = "".

clauses
    classInfo(className, classVersion).

clauses
    run():-
        console::init(),
        succeed(). % place your own code here

parent( pam, bob).
parent( tom, bob).
parent( tom, liz).
parent( bob, ann).
parent( bob, pat).
parent( pat, jim).
female( pam).
male( tom).
male( bob).
female( liz).
female( ann).
female( pat).
male( jim).

offspring( Y, X) :-
parent( X, Y).

mother( X, Y) :-
parent( X, Y),
female( X).

grandparent(X, Z) :-
parent( X, Y),
parent( Y, Z).

sister( X, Y) :-
parent( Z, X),
parent( Z, Y),
female( X),
different( X, Y).

predecessor(X,Z ) :-
parent( X, Z).

predecessor( X, Z) :-
parent( X, Y),
predecessor(Y, Z).

end implement main

goalAnd
    mainExe::run(main::run).

But it doesn't work. I only need a little explanation, how I can start using this code. (It's from Ivan Bratko - Programming for Artificial Intelligence - Fig. 1.8)

 

[joel76]

Sorry, can't help, I use SWI-Prolog.

 

[debiesven]

And how can I do this with SWI-Prolog? I've got this program too.

 

[joel76]

You copy the middle code in the editor.
You complie it Complie/Compile/buffer then in the console you ask questions, for example
sister( X, liz).
mother( X, ann)

 

[debiesven]

Okay, thank you. Know I've got the following qustion:
When I ask sister(X,ann). then the following error occured:
ERROR: sister/2: Undefined procedure: different/2

 

[joel76]

in SWI-Prolog you can define different with

different(X,Y) :-
  X \= Y.