Первое использование SWI-Prolog

Я новичок в Prolog. Я просто пытаюсь получить какой-нибудь вывод из Prolog в Windows Vista.

Я загрузил и установил Prolog 5.1 ; Я выбрал расширение файла .pro при установке (не путать с файлами Perl).

Я создал файл с именем test.pro . Я просто пытаюсь получить какой-то вывод из Prolog в Windows Vista.

Я загрузил и установил Prolog 5.1; При установке я выбрал расширение файла .pro (не путать с файлами Perl).

Я создал файл с именем test.pro . Я просто пытаюсь получить какой-то вывод из Prolog в Windows Vista.

Я загрузил и установил Prolog 5.1; При установке я выбрал расширение файла .pro (не путать с файлами Perl).

Я создал файл с именем test.pro . Внутри этого файла я поместил следующее:

inside(tom).
?-inside(tom).

Я дважды щелкнул файл, и появился интерфейс командной строки. В этом интерфейсе (после кучи общей информации о версии Пролога / авторских правах) единственный вывод:

1 ?-

Хорошо, для начала, я не ожидал, что он задаст вопрос; Я ожидал, что он ответит на вопрос (что-то вроде «да»).

В любом случае, я попытался ответить на запрос следующим образом:

В командной строке я повторно- вставлен 'inside (tom).', поэтому вся строка выглядит так:

1 ?- inside(tom).

Я нажал Enter и получил сообщение об ошибке:

ERROR: toplevel: Undefined procedure: inside/1 (DWIM could not correct goal)