Date: Feb 8, 2013 10:18 PM
Author: Graham Cooper
Subject: Re: >>>BLoCK PROLOG 1st QUERY<<<

QUERY:  f [a [b d]] ?

>
> TABLE QUERY
> ref     term    buds
> 1       f       0
> 21      a       0
> 221     b       0 <-------
> 222     d       0 <-------
> 1       *       0
> 21      *       0
> 2       *       2
> 221     *       0
> 22      *       1 <--------
> 222     *       0
>



Simple explanation!

If b and d don't get matched
you can still match Position 22 to a VAR instead
and subtract 1 from the expected matched terms!

Herc
--
www.BLoCKPROLOG.com