Задача на Prolog'е

[Setochka]

необходимо как можно скорее реализовать на Прологе следующую задачу:

Задан ориентированный граф, он задан множеством дуг. Выяснить, является ли этот граф связным (из любой вершины есть путь в любую вершину).

подробно что такое связный граф
что такое ориентированный граф


буду очень благодарна за помощь. заранее спасибо.

[ОДИНОЧЕСТВО В СЕТИ]

% Граф задается списком вершин и списком ребер. Ребро - список из двух вершин
?- is_connected([a, b, c, d, q], [[a, b], [a, c], [c, d], [d, q]]).

is_connected(V, E):- not(disconnected(V, E)).

disconnected(V, E):-
    member(V1, V),
    member(V2, V),
    not(eq(V1, V2)),
    not(path(V1, V2, E, [ ])).

path(St, End, E, _):-
    edge(St, End, E).  
path(St, End, E, Passed):-
    edge(St, Via, E),
    not(member([St, Via], Passed)),
    path(Via, End, E, [[St, Via] | Passed]).

edge(St, End, E):- 
    member([St, End], E).
edge(St, End, E):- 
    member([End, St], E).

eq(V, V).

% 
member(E, [E | _]).
member(E, [_ | T]):-
    member(E, T).

[Setochka]

не получается скомпилить,

ERROR: toplevel: Undefined procedure: is_connected/2 (DWIM could not correct goal)
2 ?- | ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
3 ?- | | | | | ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
4 ?- | |
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
5 ?- | | | ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
6 ?- | | ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
7 ?- | ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal)
8 ?- | ERROR: toplevel: Undefined procedure: eq/2 (DWIM could not correct goal)
9 ?- | | true

SWI-Prolog 5.8.1
на прологе пишу впервые, синтаксис не знаю, а хелп кроме констатации факта чего-то ничего и не дает.