-- COPYRIGHT 2007 Eugene Koontz <ekoontz@hiro-tan.org>
-- This file is part of Psqlog : an 
-- implementation of Prolog in PostgreSQL
--
-- Licenced under the GNU General Public License version 2 or higher.
-- 
--


SELECT psqlog_begin();

BEGIN READ ONLY;

SELECT 'who is a manager of who?' AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'management' , 'A' , 'B' , NULL,NULL );

SELECT 'who is a superior of who (sort by manager)?' AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , NULL,NULL ) ORDER BY A asc;

SELECT 'who is a superior of who (sort by employee)?' AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , NULL,NULL ) ORDER BY B asc;

SELECT 'who\'s lex a superior of?'  AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , 'Lex',NULL );

SELECT 'who are bob\'s superiors?'  AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , NULL,'Bob' );

SELECT 'does Bob work for Gustavo? (yes)'  AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , 'Gustavo','Bob' );

SELECT 'does Greg work for Eugene? (no)'  AS test;
SELECT unify_arg1 AS A, unify_arg2 AS B FROM 
       unify2( 'superior' , 'A' , 'B' , 'Greg','Eugene' );


COMMIT;