% Logik og sprog, Modul 2, datalogi RUC      Henning Christiansen
%
% 
% Vanilla: Prolog i Prolog;
% afsnit 4.5.5 i "Sprog og abstrakte maskiner"
%
% (c) 2000, Henning Christiansen
% 
%
% [Copyrighten gūlder denne tekst - jeg kan ikke spore
% oprindelig kilde til Vanilla, som er en del af den almindelige folklore
% i logikprogrammeringskredse]

% VANILLA INTERPRETER

% Basic version 

%  solve( goal ) ...

solve(true).

solve((A,B)):-
    solve(A),
    solve(B).

solve(A):-
    clause(A,B),
    solve(B).
	

%%% NB: Der findes en som er endnu
%%% simplere:

simple_solver(G):- call(G).
	
% ... eller blot

simple_solver0(G):- G.