Пролог говорит мне, что процедура не определена, когда кажется, что она определена - PullRequest
Новая
       47

Пролог говорит мне, что процедура не определена, когда кажется, что она определена

0 голосов
/ 10 апреля 2019

Я новичок в Прологе, и мне трудно понять, почему он говорит мне, что процедуры не определены, когда я запрашиваю их, когда они кажутся определенными.Этот код был передан мне моим инструктором, и мне не разрешено его менять, поэтому это должно быть связано с тем, как я его компилирую, или с чем-то связанным с этим.Я использую IDE SWI-Prolog.

У меня есть 2 файла .pl:

print-maze.pl: 

printMaze() :- boundary(XMAX,YMAX), \+printMaze( p(-1,YMAX), XMAX ).

printMaze( p( _, Y ), _ ) :- Y < -1, fail.
printMaze( p( X, Y ), XMAX ) :- Y >= -1, X > XMAX,
                                    nl,
                                    NewY is Y - 1,
                                    printMaze( p(-1,NewY), XMAX ).
printMaze( p( X, Y ), XMAX ) :- Y >= -1, X =< XMAX,
                                    printSpot( X, Y ),
                                    NewX is X + 1,
                                    printMaze( p(NewX,Y), XMAX ).

printSpot( X, Y ) :- (
                        ( X is -1, Y is -1 );
                        ( boundary( X, _ ), Y is -1 );
                        ( boundary( _, Y ), X is -1 );
                        boundary( X, Y )
                     ),
                     !, write( '+' ).
printSpot( X, Y ) :- ( boundary( X, _ ); X = -1 ),
                        !, N is Y mod 10, write( N ).
printSpot( X, Y ) :- ( boundary( _, Y ); Y = -1 ),
                        !, N is X mod 10, write( N ).
printSpot( X, Y ) :- goal( X, Y ), !, write( '*' ).
printSpot( X, Y ) :- wall( X, Y ), !, write( '-' ).
printSpot( _, _ ) :- write( ' ' ).

и test0.pl:


goal( 2, 2 ).
boundary( 3, 3 ).

wall( 0, 1 ).
wall( 0, 2 ).
wall( 2, 0 ).
wall( 2, 1 ).

% 0,0
% 2,2

:- load_files( 'print-maze.pl' ).

После нажатия Compile и затем Make в редакторе, когда у меня открыты оба файла, при выполнении запроса: 

?- goal(2,2).

Я получаю ошибку: 

ERROR: Undefined procedure: goal/2 (DWIM could not correct goal)

и когда я делаю запрос: 

?- printMaze().

я получаю ошибку: 

ERROR: Undefined procedure: boundary/2
ERROR: In:
ERROR:    [9] boundary(_7002,_7004)
ERROR:    [8] printMaze at c:/users/jproc/documents/prolog/print-maze.pl:7
ERROR:    [7] <user>

goal/2 и boundary/2, кажется, определены в test0.pl, так что дает?

1 Ответ

1 голос
/ 10 апреля 2019

Я понял, что проблема в том, что мне нужно перейти к File и Consult ... и выбрать test0.pl.После этого запросы дали ожидаемые результаты.

...