Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
|
|
SELECT * FROM QUERY INNER JOIN HEADS ON QUERY.ref=HEADS.ref AND
QUERY.term=HEADS.term GROUP BY HEADS.id HAVING COUNT(QUERY.id)=COUNT(HEADS.id)
Posted:
Feb 3, 2013 3:26 AM
|
|
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
|
|
|
|
