PROLOG TESTING SEQUENCE - Getting Your ROBOT Off The Ground!

[Graham Cooper]

STEP 1: START UP YOUR FAVORITE PROLOG EDITOR!

ENTER: http://www.BLoCKPROLOG.com
[LIST]

STEP 2: ENTER THE FOLLOWING TEST CODE!

[NEW]
test1 a.
test1 b.
test2 X.
test3 [sub a b c].


STEP 3: CHECK THE FOLLOWING COMMAND RESULTS!

test1 a ? CONFIRM!
test1 b ? CONFIRM!
test1 c ? NOT FOUND!
test1 V ?

>V = a

test2 a ? CONFIRM!
test2 V ?

>V = X1

test2 [sub a b c] ? CONFIRM!
test2 [sub x y z] ? CONFIRM!

test3 [sub a b c] ? CONFIRM!
test3 [sub x y z] ? NOT FOUND!
test3 V ?

>V = sub a b c

------------

ALL SYSTEMS CHECK!

Herc
--
www.BLOCKPROLOG.com (b)eta