Как настроить Prolog (GNU/Linux)

move_chess(Figure, Place1, Place2, Path, Count, Max) :-
    retractall( figure_moved(_) ), assertz( figure_moved(0) ),
    retractall( max_moves(_) ), assertz( max_moves(Max) ),
    move_chess(Figure, Place1, Place2, Path, [], Count, 1),
    retractall( figure_moved(_) ), assertz( figure_moved(0) ).
 
move_chess(Figure, Point1, Point2, Path, Track, Count, Count) :-
    move_chess_figure(Figure, Point1, Point2),
    append(Track, [go(Point1, Point2)], Path).
move_chess(Figure, Point1, Point2, Path, Track, Count, Count0) :-
    check_moves,
    move_chess_figure(Figure, Point1, X),
    \+ member(go(X, _), Track),
    append(Track, [go(Point1, X)], Track1),
    Count1 is Count0 + 1,
    move_chess(Figure, X, Point2, Path, Track1, Count, Count1).
 
check_moves :-
    max_moves(Max),
    figure_moved(Moved),
    Moved < Max,
    retract( figure_moved(Move0) ),
    Move1 is Move0 + 1,
    assertz( figure_moved(Move1) ).
 
move_chess_figure(Figure, [X, Y], [X1, Y1]) :-
    legal_chess_point(X, Y),
    rule_chess_figure(Figure, X0, Y0),
    X1 is X + X0, Y1 is Y + Y0,
    legal_chess_point(X1, Y1).
    
legal_chess_point(X, Y) :-
    X >= 1, Y >= 1,
    X =< 8, Y =< 8.
    
rule_chess_figure(knight, 1, 2).
rule_chess_figure(knight, -1, 2).
rule_chess_figure(knight, 1, -2).
rule_chess_figure(knight, -1, -2).
rule_chess_figure(knight, 2, 1).
rule_chess_figure(knight, -2, 1).
rule_chess_figure(knight, 2, -1).
rule_chess_figure(knight, -2, -1).