PPT Slide
d( C , = , 0 ) : - atom( C ) .
d( [ - , U ] , X , [ - , A ] ) : - d( U , X , A ) .
d( [ U , + , V ] , X , [ A , + , B] ) : -
d( U, X , A ) , d( V , X , B ) .
d( [ U , - , V ] , X , [ A , - , B ] ) : -
d( U , X , A ) , d( V , X , B ) .
d( [ C , * , X ] , X , C ) : - atom( C ) .
| ? - d( [ - , x ] , x , Q ) .
| ? - d( [[ a , * , x ] , + , b ] , x , Q ) .