предикаты Определения в Прологе SICStus / SWI-Prolog REPL

я читаю http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1 , но я испытываю затруднения при выполнении следующего предиката:

SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007
| ?- woman(mia).
! Existence error in user:woman/1
! procedure user:woman/1 does not exist
! goal:  user:woman(mia)
| ?- 

, Если с другой стороны, я пишу это в файл и работаю, консультируются с файлом, это, кажется, хорошо работает...

, я только позволил определять предикаты в файле, имеющем позже для консалтинга с ними? Я не могу только сделать этого в редакторе самого?