Partial Information  through Logic Variables

convenitional

program variables

logic

variables

declare X

X

store

program

int x;

x

0

store

program

x

79

x

82

x := 79;

x := 82;

X = 82

Previous slide

Next slide

Back to first slide

View graphic version