Partial Information  through Logic Variables

conventional

program variables

logic

variables

declare X

X

store

program

int x;

x

0

store

program

x

79

x

82

x := 79;

x := 82;

X

79

X = 79

Previous slide

Next slide

Back to first slide

View graphic version