% ==========================================================================
% $Id: meta0.pl,v 1.1 2014/02/21 02:39:11 jlang Exp $
% CSI2120 example Code for lecture 9
% ==========================================================================
% (C)opyright:
%
%   Jochen Lang
%   EECS, University of Ottawa
%   800 King Edward Ave.
%   Ottawa, On., K1N 6N5
%   Canada. 
%   http://www.eecs.uottawa.ca/~jlang
% 
% Creator: jlang (Jochen Lang) based on examples by R. Laganiere
% Email:   jlang@eecs.uottawa.ca
% ==========================================================================
% $Log: meta0.pl,v $
% Revision 1.1  2014/02/21 02:39:11  jlang
% Added meta interpreter example.
%
% ==========================================================================
% solving a simple goal or fact
solve0(true) :- 	!.

% solving multiple subgoals
solve0((G, Gs)):- !,
	solve0(G),
	solve0(Gs).
  
% solving a goal involving a rule using the clause command
solve0(G) :- 	!,
	clause(G, Body),
	solve0(Body).