home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Developer Source 3
/
Developers_Source_Vol_03_1996.iso
/
pcaik
/
mar94
/
webb13.gif
< prev
Tile
Graphics Interchange Format
|
1996-01-05
|
52.2 KB
|
495x338
|
8-bit (217 colors)
ocr:
15 - Control Structures Page 11 Initial Goal: (1) ractorial_1(1, 1). ractorial_1(3,%) (2) factorial_1(N, F) :- N> 1, Goal Variable Bindings: NN is N - 1, X_0B51 ractorial_I(NN, FF), Fi is N * FF. Clause heads at cach level 1: EXIT (2) ractorial_1(3,6) 2: EXIT (*) 3>1 2: EXIT (w) 2 is 3 -1 1 2: EXIT (2) ractorial_1(Z,2) 3: EXIT (*) 21 3: EXII (*) 1is 2-1 3: try (2) factorial.101,1031) 4: CALL 1>1 Current variable values for each level 0:X == OB51 2: N == 2 3:F=. _1D31 1: N - = 3 2:F = _115D 3: NN = _2A4D 1: F == OB51 2: NN = 1 3: FF = - _ZA6D 1: NN = 2 2: FF == 1D31 1: FF = _115D 3: N = 1 Legal ...
