Miért nem működik? (Prolog)

Felraktam a prologot, (ismerkedek vele).

GNU Prolog 1.3.0

By Daniel Diaz

Copyright (C) 1999-2007 Daniel Diaz

| ?- factorial(0,1).

uncaught exception: error(existence_error(procedure,factorial/2),top_level/0)

| ?- factorial(N,F) :-

N>0,

N1 is N-1,

factorial(N1,F1),

F is N * F1.

uncaught exception: error(existence_error(procedure,(:-)/2),top_level/0)

| ?-

Innen néztem a példát:

[link]