%%%%% Basic depth first path algorithm in PROLOG %%%%%%%
%%% This is one of the example programs from the textbook:
%%% Artificial Intelligence: 
%%% Structures and strategies for complex problem solving
%%% by George F. Luger and William A. Stubblefield
%%% Corrections by Christopher E. Davis (
%%% These programs are copyrighted by Benjamin/Cummings Publishers.
%%% We offer them for use, free of charge, for educational purposes only.
%%% Disclaimer: These programs are provided with no warranty whatsoever as to
%%% their correctness, reliability, or any other property.  We have written 
%%% them for specific educational purposes, and have made no effort
%%% to produce commercial quality computer programs.  Please do not expect 
%%% more of them then we have intended.
%%% This code has been tested with SWI-Prolog (Multi-threaded, Version 5.2.13)
%%% and appears to function as intended.

go(Start, Goal) :-
	stack(Start, Empty_been_list, Been_list),
	path(Start, Goal, Been_list).
	% path implements a depth first search in PROLOG
	% Current state = goal, print out been list
path(Goal, Goal, Been_list) :-
path(State, Goal, Been_list) :-
	mov(State, Next),
	% not(unsafe(Next)),
	not(member_stack(Next, Been_list)),
	stack(Next, Been_list, New_been_list),
	path(Next, Goal, New_been_list), !.
reverse_print_stack(S) :-
reverse_print_stack(S) :-
	stack(E, Rest, S),
	write(E), nl.

Close Window