Date: Feb 3, 2013 3:26 AM
Author: Graham Cooper
Subject: SELECT * FROM QUERY  INNER JOIN HEADS  ON QUERY.ref=HEADS.ref  AND<br> QUERY.term=HEADS.term  GROUP BY HEADS.id  HAVING COUNT(QUERY.id)=COUNT(HEADS.id)

Well after 10 months programming PROLOG in SQL
here it is!

$sql2="

SELECT * FROM QUERY
INNER JOIN HEADS
ON QUERY.ref=HEADS.ref
AND QUERY.term=HEADS.term
GROUP BY HEADS.id
HAVING COUNT(HEADS.id)=COUNT(QUERY.id)

";

Ultra Fast Logical Calculations!

This puppy will MATCH 2 PREDICATES

f(a,B) == f(X,g)

||
V

f(a,g)

in 1 line of SQL.

Standard PROLOG Engines take 100 or so lines of recursive code to
match 1 formula to another term by term!

=================

TESTING SO FAR

lady jane.
lady kim.

lady kim?

LADY KIM FOUND!

-----------------------------

www.BLoCKPROLOG.com

coming soon....

Herc