logic-env

Vocabulary

logic.private

Definition

IN: logic.private

TUPLE: logic-env table ;

Methods

USING: accessors assocs classes classes.tuple combinators kernel
logic.private sequences ;

M: logic-env at*
    dereference {
        {
            [ over logic-goal? ]
            [ [ [ pred>> ] [ args>> ] bi ] dip at <goal> t ]
        }
        {
            [ over tuple? ]
            [
                [ at ] curry [ [ tuple-slots ] ] dip
                [ map ] curry compose
                [ class-of slots>tuple ] bi t
            ]
        }
        { [ over sequence? ] [ [ at ] curry map t ] }
        [ drop t ]
    } cond ; inline