Hi, I'm having trouble writing a prolog program which does the following:

Say I'm given a map of 3 different points; Point A, point B and point C. Point A is connected to point B and point B is connected to point C, if you want to travel from point A to point C, you cannot move there directly, you have to travel through point B.

I've wrote a program which does this, but I'm unsure how I can implement some form of count variable which counts the number of 'movements'. For example, a journey from point A to point C would take two movements; point a to b, then point b to c.

/*--------------
connections between points
--------------*/

link(a,b).
link(b,c).

/*--------------
logic carried out to connect the movements.
--------------*/

movesto(A,B):- link(A,B).
movesto(A,B):- link(A,C), link(C,B).

/*-----------
layout of count arguement
--------------*/

count(A,B,N):-

Thanks in advance.

We can carry a count with us as we move, this works for movesto(a,e, Dist) but crashes my GNU-Prolog for impossible case movesto(c,e), I do not know what should be changed:

/*--------------
connections between points
--------------*/

link(a,b).
link(b,c).
link(b,d).
link(d,e).

/*--------------
logic carried out to connect the movements.
--------------*/

movesto(A,B,1):- link(A,B).
movesto(A,B,2):- link(A,C), link(C,B).
movesto(A,B,Dist):- movesto(A,C,Dist1), movesto(C,B,Dist2), Dist is Dist1 + Dist2.

The first statement must be link to reduce search:

/*--------------
connections between points
--------------*/

link(a,b).
link(b,c).
link(b,d).
link(d,e). link(c,f). link(f,h).

/*--------------
logic carried out to connect the movements.
--------------*/

movesto(A,B,1):- link(A,B).
movesto(A,B,Dist):- link(A,C), movesto(C,B,Dist1), Dist is Dist1 + 1.

| ?- movesto(b,X,D).

D = 1
X = c ? ;

D = 1
X = d ? ;

D = 2
X = f ? ;

D = 3
X = h ? ;

D = 2
X = e ? ;

(31 ms) no
| ?- 

Thanks, that second reply worked!

Be a part of the DaniWeb community

We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.