P.S. re KR logic

I should have mentioned that KR loops can be used
to process quantified logic expressions, e.g.

    every p isa person { $p has mother,father }

I think this should suffice for many applications involving

    forall (?x) ( ... )
    exists(?x) ( ... )

but I haven't actually tried any such applications.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition