#!/bin/bash
#  loads the first, queries it with the second
#  $Id: n3unify,v 1.1 2001/05/22 10:00:59 sandro Exp $

f1=$1
f2=$2

b1=/tmp/n3match-tmp-1-$$
b2=/tmp/n3match-tmp-2-$$
t1=/tmp/n3match-tmp-1-$$.P
t2=/tmp/n3match-tmp-2-$$.P
trap "rm $t1 $t2 $b1.O $b2.O" EXIT

yacc-n3 -p $f1 > $t1
yacc-n3 -p $f2 | genid-to-query > $t2

# echo "** Searching in $1 for $2:"
xsb --noprompt --quietload --nobanner -e "['$t1','$t2'], guided_match.  halt."