-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmanual.ps
executable file
·2922 lines (2921 loc) · 179 KB
/
manual.ps
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%!PS-Adobe-2.0
%%Creator: dvips 5.55 Copyright 1986, 1994 Radical Eye Software
%%Title: manual.dvi
%%CreationDate: Sun Apr 1 17:51:56 2001
%%Pages: 59
%%PageOrder: Ascend
%%BoundingBox: 0 0 612 792
%%DocumentFonts: Times-Roman Times-Bold Times-Italic Courier
%%EndComments
%DVIPSCommandLine: dvips manual
%DVIPSParameters: dpi=300, comments removed
%DVIPSSource: TeX output 2001.04.01:1751
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /@landscape{/isls true N}B
/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B
/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{
/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N
string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N
end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{
/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]
N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup
length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{
128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub
get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup
/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx
0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff
setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff
.1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}
if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup
length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{
cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin
0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore showpage
userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook
known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X
/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for
65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail
{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}
B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{
4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{
p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2
index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont /setfont load]cvx def}def
/ObliqueSlant{dup sin S cos div neg}B /SlantFont{4 index mul add}def
/ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def
end
%%EndProcSet
TeXDict begin 40258431 52099146 1000 300 300
(/a/disco/disco/kpurang/work/doc/almaman/manual.dvi)
@start /Fa 6 62 df<004000800100020006000C000C00180018003000300070006000
60006000E000E000E000E000E000E000E000E000E000E000E000E0006000600060007000
30003000180018000C000C00060002000100008000400A2A7D9E10>40
D<800040002000100018000C000C000600060003000300038001800180018001C001C001
C001C001C001C001C001C001C001C001C001C0018001800180038003000300060006000C
000C00180010002000400080000A2A7E9E10>I<00060000000600000006000000060000
000600000006000000060000000600000006000000060000000600000006000000060000
FFFFFFE0FFFFFFE000060000000600000006000000060000000600000006000000060000
0006000000060000000600000006000000060000000600001B1C7E9720>43
D<030007003F00C700070007000700070007000700070007000700070007000700070007
00070007000700070007000700070007000F80FFF80D1C7C9B15>49
D<07C01830201C400C400EF00FF80FF807F8077007000F000E000E001C001C0038007000
6000C00180030006010C01180110023FFE7FFEFFFE101C7E9B15>I<7FFFFFC0FFFFFFE0
0000000000000000000000000000000000000000000000000000000000000000FFFFFFE0
7FFFFFC01B0C7E8F20>61 D E /Fb 46 120 df<00010000020000020000020000020000
0400000400000400000400000800000800007E0001C9800710E00C106018107038103070
2030702030E02070E02070E04070E040E0E040E06041C06083803086001C9C0007E00001
000001000001000001000002000002000002000002000014257E9C19>30
D<0000400000400000800000800000800000800001000001000001000001000002001C02
0427020E47020E4704068704028704020E04020E08021C08041C08041C08041C10081C10
101C10201C10400C208007230001FC000020000040000040000040000040000080000080
0000800017257E9C1B>32 D<60F0F0701010101020204080040C7C830C>59
D<00000C0000000C0000001C0000001C0000003C0000007C0000005C0000009C0000008E
0000010E0000010E0000020E0000040E0000040E0000080E0000080E0000100E0000200E
00003FFE0000400700004007000080070001000700010007000200070002000700060007
001E000700FF807FF01C1D7F9C1F>65 D<01FFFF00003C01C0003800E0003800F0003800
700038007000700070007000F0007000F0007001E000E003C000E0078000E01F0000FFFC
0001C00F0001C0078001C003C001C003C0038003C0038003C0038003C0038003C0070007
800700070007000E0007001C000E007800FFFFC0001C1C7E9B1F>I<0001F808000E0618
00380138006000F001C0007003800070070000300F0000200E0000201C0000203C000020
3C000000780000007800000078000000F0000000F0000000F0000000F0000000F0000100
F0000100F0000100700002007000020030000400380008001C0010000E00600007018000
00FE00001D1E7E9C1E>I<01FFFF80003C01E000380070003800380038001C0038001C00
70001C0070001E0070001E0070001E00E0001E00E0001E00E0001E00E0001E01C0003C01
C0003C01C0003C01C000380380007803800070038000F0038000E0070001C00700038007
00070007001C000E007800FFFFC0001F1C7E9B22>I<01FFFFF8003C0078003800180038
001000380010003800100070001000700010007010100070100000E0200000E0200000E0
600000FFE00001C0400001C0400001C0400001C040000380804003800040038000800380
0080070001000700010007000300070006000E003E00FFFFFC001D1C7E9B1F>I<01FFFF
F0003C00F000380030003800200038002000380020007000200070002000701020007010
0000E0200000E0200000E0600000FFE00001C0400001C0400001C0400001C04000038080
00038000000380000003800000070000000700000007000000070000000F000000FFF000
001C1C7E9B1B>I<0001F808000E061800380138006000F001C000700380007007000030
0F0000200E0000201C0000203C0000203C000000780000007800000078000000F0000000
F0000000F0007FF0F0000780F0000700F0000700F00007007000070070000E0030000E00
38000E001C001E000E0064000701840000FE00001D1E7E9C21>I<03FFC0003C00003800
00380000380000380000700000700000700000700000E00000E00000E00000E00001C000
01C00001C00001C0000380000380000380000380000700000700000700000700000F0000
FFF000121C7E9B12>73 D<007FF80003C000038000038000038000038000070000070000
0700000700000E00000E00000E00000E00001C00001C00001C00001C0000380000380000
3800203800707000F07000E0600080E00081C0004380003E0000151D7D9B17>I<01FFE0
003C0000380000380000380000380000700000700000700000700000E00000E00000E000
00E00001C00001C00001C00001C00003800203800203800203800407000407000C070018
0700380E00F0FFFFF0171C7E9B1C>76 D<01FE0000FF003E0000F0002E0001E0002E0002
E0002E0002E0002E0004E0004E0009C0004E0009C000470011C000470011C00087002380
008700438000870043800087008380010701070001070107000103820700010382070002
03840E000203880E000203880E000203900E000403A01C000403A01C000401C01C000C01
C01C001C01803C00FF8103FF80281C7E9B28>I<01FC00FF80001C001C00002E00180000
2E001000002E001000002700100000470020000043002000004380200000438020000081
C040000081C040000081C040000080E040000100E0800001007080000100708000010070
800002003900000200390000020039000002001D000004001E000004000E000004000E00
000C000E00001C00040000FF80040000211C7E9B21>I<0003F800000E0E000038038000
E001C001C001C0038000E0070000E00F0000F01E0000F01C0000F03C0000F03C0000F078
0000F0780000F0780000F0F00001E0F00001E0F00001E0F00003C0F00003C0F0000780F0
000780F0000F0070000E0070001C00380038003C0070001C01C0000707800001FC00001C
1E7E9C20>I<01FFFF00003C03C0003800E0003800F00038007000380070007000F00070
00F0007000F0007000E000E001E000E003C000E0078000E01E0001FFF00001C0000001C0
000001C00000038000000380000003800000038000000700000007000000070000000700
00000F000000FFE000001C1C7E9B1B>I<01FFFE00003C03C0003800E0003800F0003800
7000380070007000F0007000F0007000F0007001E000E001C000E0078000E01E0000FFF0
0001C0300001C0180001C01C0001C01C0003801C0003801C0003801C0003801C0007003C
0007003C0807003C0807003C100F001E10FFE00E20000007C01D1D7E9B20>82
D<000FC100303300400F0080060180060300060300060600040600040700000700000780
0003F00001FF0000FFC0003FE00003E00000F00000700000300000302000302000306000
606000606000C0600080F00300CC060083F800181E7E9C19>I<1FFFFFF01C0380703007
0030200700206007002040070020400E0020800E0020800E0020000E0000001C0000001C
0000001C0000001C00000038000000380000003800000038000000700000007000000070
00000070000000E0000000E0000000E0000000E0000001E000007FFF00001C1C7F9B18>
I<7FF03FE00F0007000E0006000E0004000E0004000E0004001C0008001C0008001C0008
001C00080038001000380010003800100038001000700020007000200070002000700020
00E0004000E0004000E0004000E0008000E0008000E00100006002000060040000300800
001830000007C000001B1D7D9B1C>I<FFC00FF01E0003801C0003001C0002001C000400
1E0004000E0008000E0008000E0010000E0020000E0020000E0040000E0080000E008000
0F0100000701000007020000070400000704000007080000071800000710000007A00000
03A0000003C00000038000000380000003000000030000001C1D7D9B18>I<FFC1FFC1FF
1C003C003C1C001C00101C001C00201C003C00201C007C00401C005C00401C009C00801C
009C00801C011C01001C011C01001C021C02001C021C04001C041C04001C081C08001E08
1C08000E101C10000E101C10000E200E20000E200E60000E400E40000E400E80000E800E
80000F000F00000F000F00000E000E00000E000E00000C000C00000C00080000281D7D9B
27>I<01FFC0FF80001E003C00001E003000000E002000000F0040000007008000000701
0000000782000000038400000003C800000001D000000001F000000000E000000000E000
000000F00000000170000000027000000004380000000838000000103C000000201C0000
00401E000000800E000001800E000003000F000006000700001E000F8000FF803FF00021
1C7F9B22>I<FFE007F80F0001E00F0001800700010007000200078004000380080003C0
100001C0300001C0200001E0400000E0800000F100000072000000760000007C00000038
0000003800000070000000700000007000000070000000E0000000E0000000E0000000E0
000001C000001FFC00001D1C7F9B18>I<00FFFFE000F001C001C003800180070001000E
0001001E0002001C0002003800020070000000E0000001C0000003800000070000000F00
00001E0000001C0000003800000070020000E0040001C0040003800400070008000F0008
000E0018001C003000380070007001E000FFFFE0001B1C7E9B1C>I<01E3000717000C0F
00180F00380E00300E00700E00700E00E01C00E01C00E01C00E01C00E03880E03880E038
806078803199001E0E0011127E9116>97 D<3F00070007000E000E000E000E001C001C00
1C001C0039E03A303C1838187018701C701C701CE038E038E038E030E070E060E0C061C0
23001E000E1D7E9C12>I<01F0030C0E0C1C1E383C301870007000E000E000E000E000E0
00E0046008601030601F800F127E9112>I<0007E00000E00000E00001C00001C00001C0
0001C000038000038000038000038001E7000717000C0F00180F00380E00300E00700E00
700E00E01C00E01C00E01C00E01C00E03880E03880E038806078803199001E0E00131D7E
9C16>I<01F007080C0818043808300870307FC0E000E000E000E000E000E00460086010
30600F800E127E9113>I<0001E0000630000E78000CF0001C60001C00001C00001C0000
3C0000380000380003FFC000380000380000700000700000700000700000700000E00000
E00000E00000E00000E00001C00001C00001C00001C00001C00001800003800003800063
0000F30000F60000E4000078000015257E9C14>I<007180018B800307800607800E0700
0C07001C07001C0700380E00380E00380E00380E00381C00381C00381C00183C0008F800
073800003800003800007000607000F06000F0E000E180007E0000111A7F9114>I<01C0
03C003C001800000000000000000000000001C00270047004700870087000E000E001C00
1C001C003800388038807080710032001C000A1C7E9B0E>105 D<1F8003800380070007
00070007000E000E000E000E001C001C001C001C00380038003800380070007000700070
00E400E400E400E40064003800091D7E9C0C>108 D<381F81F04E20C6184640E81C4680
F01C8F00F01C8E00E01C0E00E01C0E00E01C1C01C0381C01C0381C01C0381C01C0703803
807138038071380380E1380380E2700700643003003820127E9124>I<381F004E618046
81C04701C08F01C08E01C00E01C00E01C01C03801C03801C03801C070038071038071038
0E10380E2070064030038014127E9119>I<00F800030C000E06001C0300180300300300
700380700380E00700E00700E00700E00E00E00E00E01C0060180060300030E0000F8000
11127E9114>I<07078009C86008D03008E03011C03011C03801C03801C0380380700380
700380700380600700E00700C00701800783000E86000E78000E00000E00001C00001C00
001C00001C00003C0000FF8000151A819115>I<01C206260C1E181E381C301C701C701C
E038E038E038E038E070E070E07060F023E01CE000E000E001C001C001C001C003C01FF8
0F1A7E9113>I<383C4E424687470F8E1E8E0C0E000E001C001C001C001C003800380038
0038007000300010127E9113>I<01F0060C04040C0E180C1C001F000FE00FF003F80038
201C7018F018F010803060601F800F127E9113>I<00C001C001C001C003800380038003
80FFF00700070007000E000E000E000E001C001C001C001C00382038203840384018800F
000C1A80990F>I<1C00C02701C04701C04701C08703808703800E03800E03801C07001C
07001C07001C0700180E20180E20180E201C1E200C264007C38013127E9118>I<1C0227
0747074703870187010E010E011C021C021C021C041804180818081C100C2007C010127E
9114>I<1C00C0802701C1C04701C1C04701C0C087038040870380400E0380400E038040
1C0700801C0700801C0700801C07010018060100180602001C0E02001C0F04000E130800
03E1F0001A127E911E>I E /Fc 59[25 71[25 1[25 25 25 25
25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 1[25 25 25 25 25 25 25 25 25 25 25
25 25 25 25 25 25 25 2[25 25 25 25 25 25 25 25 25 1[25
25 25 2[25 25 25 25 25 25 25 25 25 25 25 25 25 25 25
25 1[25 25 25 25 25 25 36[{}82 41.666668 /Courier rf
/Fd 81[28 51[22 25 25 36 25 28 17 19 22 28 28 25 28 41
14 28 1[14 28 25 17 22 28 22 28 25 9[50 1[36 33 28 36
1[30 2[47 33 2[19 39 1[30 1[36 36 33 36 1[25 5[25 1[25
25 25 25 25 25 25 1[14 12 17 45[{}53 50.000000 /Times-Bold
rf /Fe 134[30 30 43 30 33 20 23 27 1[33 30 33 50 17 33
1[17 33 30 20 27 33 27 33 30 9[60 1[43 40 33 43 47 37
47 43 56 40 2[23 47 47 37 40 43 43 40 43 6[20 30 30 30
30 30 30 30 30 30 30 1[15 20 45[{}56 59.999973 /Times-Bold
rf /Ff 7 59 df<FFFFFF80FFFFFF8019027D8A20>0 D<60F0F06004047C8B0C>I<0180
0180018001804182F18F399C0FF003C003C00FF0399CF18F418201800180018001801012
7E9215>3 D<03C00FF01FF83FFC7FFE7FFEFFFFFFFFFFFFFFFF7FFE7FFE3FFC1FF80FF0
03C010107E9115>15 D<C0000000F00000003C0000000F00000003C0000000F00000003C
0000000F00000003C0000000F00000003C0000000F000000038000000F0000003C000000
F0000003C000000F0000003C000000F0000003C000000F0000003C00000070000000C000
0000000000000000000000000000000000000000000000000000000000007FFFFF00FFFF
FF8019227D9920>21 D<0000000400000000020000000002000000000100000000008000
00000040FFFFFFFFF8FFFFFFFFF800000000400000000080000000010000000002000000
0002000000000400250E7E902A>33 D<FFFFFEFFFFFE0000060000060000060000060000
06000006000006000006000006170B7E8E1C>58 D E /Fg 81[21
51[16 18 18 1[18 21 12 16 16 1[21 21 21 30 12 18 1[12
21 21 12 18 21 18 1[21 9[35 2[23 21 25 1[25 2[35 23 1[18
14 1[30 25 25 30 28 1[25 7[21 11[14 5[14 39[{}41 41.666668
/Times-Italic rf /Fh 135[43 3[29 1[38 1[48 1[48 4[24
48 2[38 48 2[43 27[57 62 62 57 62 7[43 43 43 43 43 43
43 43 43 43 48[{}25 86.416687 /Times-Bold rf /Fi 138[21
2[14 1[21 1[21 32 12 2[12 3[18 3[18 12[25 1[28 11[23
1[30 28 1[30 14[21 21 21 2[14 10 44[{.167 SlantFont}20
41.666668 /Times-Roman rf /Fj 69[18 8[21 1[23 23 3[18
47[18 21 21 30 21 21 12 16 14 21 21 21 21 32 12 21 12
12 21 21 14 18 21 18 21 18 3[14 1[14 1[30 30 39 30 30
25 23 28 30 23 30 30 37 25 30 16 14 30 30 23 25 30 28
28 30 1[18 3[12 12 21 21 21 21 21 21 21 21 21 21 12 10
14 10 2[14 14 14 1[35 37[{}79 41.666668 /Times-Roman
rf /Fk 78[21 2[23 52[21 1[30 21 23 14 16 18 1[23 21 23
35 12 23 1[12 23 21 14 18 23 18 23 21 9[42 30 1[28 23
30 1[25 32 30 1[28 32 1[16 32 1[25 28 30 30 28 30 1[21
5[21 21 21 21 21 21 21 21 21 21 1[10 14 10 2[14 14 40[{}58
41.666668 /Times-Bold rf /Fl 81[57 52[52 1[75 1[57 34
40 46 1[57 52 57 86 29 57 1[29 57 52 34 46 57 46 57 52
13[57 75 2[80 2[69 80 1[40 2[63 1[75 75 69 75 19[34 45[{}34
103.666679 /Times-Bold rf /Fm 138[25 2[17 1[25 1[25 1[14
2[14 1[25 5[22 16[28 4[36 9[36 14[25 25 25 1[12 1[12
44[{}16 50.000000 /Times-Roman rf /Fn 138[36 20 1[24
3[36 56 20 5[24 32 3[32 28[52 48 1[52 19[24 45[{}13 72.000000
/Times-Roman rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300dpi
TeXDict begin
%%EndSetup
%%Page: 1 1
1 0 bop 599 1153 a Fn(Draft)17 b(Alma-Carne)f(manual)874
1366 y Fm(K.)d(Purang)841 1516 y(April)f(1,)h(2001)p
eop
%%Page: 1 2
1 1 bop 0 554 a Fl(Contents)0 841 y Fk(1)41 b(Intr)o(oduction)1642
b(5)0 962 y(2)41 b(Alma-Carne)1645 b(6)62 1042 y Fj(2.1)44
b(Characteristics)10 b(of)g(Alma-Carne)30 b(.)21 b(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72
b(6)158 1122 y(2.1.1)50 b(Asynchronicity)22 b(.)f(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)72 b(6)158 1202 y(2.1.2)50 b(State)10 b(in)g(Carne)k(.)21
b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)72 b(6)158 1282 y(2.1.3)50
b(Carne)10 b(serialization)29 b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72
b(7)158 1361 y(2.1.4)50 b(Carne)10 b(to)g(Alma)g(requests)k(.)21
b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)72 b(7)158 1441 y(2.1.5)50 b(Carne)10 b(and)g(eval)p
541 1441 13 2 v 16 w(bound)35 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72 b(7)158
1521 y(2.1.6)50 b(What)10 b(is)g(Carne)g(used)h(for?)34
b(.)22 b(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)72 b(7)62 1601 y(2.2)44 b(Specifying)9 b(the)h(system)16
b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72 b(7)0 1722 y Fk(3)41
b(Alma)1769 b(9)62 1802 y Fj(3.1)44 b(Overview)10 b(of)g(Alma)40
b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72 b(9)158 1882
y(3.1.1)50 b(T)o(ime)38 b(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)72 b(9)158 1962 y(3.1.2)50 b(Referring)9 b(to)h(formulas)j(.)21
b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)72 b(9)158 2041 y(3.1.3)50 b(Properties)9
b(of)h(formulas)33 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72 b(9)158 2121 y(3.1.4)50
b(Inconsistency)20 b(.)h(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)72
b(9)158 2201 y(3.1.5)50 b(Procedures)34 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)51 b(10)62 2281 y(3.2)44 b(Syntax)9 b(of)h(the)g(Alma)h
(Language)40 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(10)62 2361 y(3.3)44
b(Intended)9 b(meaning)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(10)62 2440 y(3.4)44 b(Inference)11 b(rules)40 b(.)21
b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)53 b(1)n(1)158
2520 y(3.4.1)d(Resolution)36 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)53
b(1)n(1)158 2600 y(3.4.2)d(User)10 b(rules)17 b(.)22
b(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)53 b(1)n(1)158 2680
y(3.4.3)d(Contradiction)7 b(detection)13 b(.)21 b(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)53
b(1)n(1)158 2760 y(3.4.4)d(Reserved)10 b(predicates)41
b(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)51 b(12)62 2840 y(3.5)44 b(Inference)11
b(procedures)33 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(12)965 2975 y(1)p eop
%%Page: 2 3
2 2 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)983 b Fj(2)158 192 y(3.5.1)50 b(Forward)10
b(inference)37 b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(12)158 271 y(3.5.2)f(Backward)
10 b(inference)41 b(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(13)62 351 y(3.6)44
b(Interfaces)32 b(.)21 b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)51 b(14)62 431 y(3.7)44 b(Reserved)11 b(predicates)18
b(.)j(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(14)158 511 y(3.7.1)f(Commands)
29 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(14)158 591
y(3.7.2)f(Internal)9 b(state)34 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(16)158 670 y(3.7.3)f(Implicit)8 b(relations)26 b(.)21
b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)51 b(16)0 792 y Fk(4)41 b(Running)10
b(Alma)1583 b(18)62 872 y Fj(4.1)44 b(Controllin)o(g)8
b(Alma)25 b(.)d(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g
(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(18)158
951 y(4.1.1)f(Command)10 b(line)g(ar)o(guments)39 b(.)21
b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
51 b(19)158 1031 y(4.1.2)f(Run)9 b(time)h(commands)31
b(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)51 b(20)158 1111 y(4.1.3)f(Internal)9
b(variables)22 b(.)f(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(20)62 1191
y(4.2)44 b(Running)8 b(Alma)j(in)e(prolog)36 b(.)21 b(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)51 b(20)62 1271 y(4.3)44 b(Demos)16 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(21)0 1392 y Fk(5)41
b(Alma)9 b(implementation)1458 b(22)62 1472 y Fj(5.1)44
b(Overall)10 b(design)j(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)51 b(22)62 1552 y(5.2)44 b(Data)10 b(structures)38
b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(23)158
1631 y(5.2.1)f(Formulas)29 b(.)22 b(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(23)62 1711 y(5.3)44 b(Database)13 b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(23)158 1791 y(5.3.1)f(Primary)10
b(and)g(secondary)h(databases)40 b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)51 b(23)158 1871 y(5.3.2)f(Filtering)10
b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(24)158
1951 y(5.3.3)f(History)29 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)51 b(24)158 2030 y(5.3.4)f(Indexing)37 b(.)22 b(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)51 b(24)158 2110 y(5.3.5)f(Miscellaneous)40
b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(25)62 2190 y(5.4)44
b(Inference)11 b(rules)40 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)51 b(25)158 2270 y(5.4.1)f(Candidate)9 b(applications)24
b(.)d(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)51 b(25)158 2350 y(5.4.2)f(Applying)8 b(rules)32
b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(25)158 2430 y(5.4.3)f(Inference)11
b(rules)32 b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(26)62 2509
y(5.5)44 b(Interface)17 b(.)k(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)51 b(27)62 2589 y(5.6)44 b(Parser)30 b(.)21
b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(27)62 2669 y(5.7)44 b(Contradiction)7 b(handler)19
b(.)i(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(27)62 2749 y(5.8)44
b(Help)20 b(.)i(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)51 b(27)62 2829 y(5.9)44 b(Miscellaneous)17 b(.)k(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(27)p eop
%%Page: 3 4
3 3 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)983 b Fj(3)62 192 y(5.10)23 b(Execution)j(.)21
b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(27)0 313 y Fk(6)41 b(Carne)1736 b(28)62 393 y Fj(6.1)44
b(Interaction)14 b(.)21 b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)51 b(28)158 472 y(6.1.1)f(Alma-Carne)10 b(interaction)g(.)21
b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)51 b(28)158 552 y(6.1.2)f(stdin/stdout)7 b(interaction)21
b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)51 b(28)158 632 y(6.1.3)f(Log)10 b(\256les)40
b(.)22 b(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(28)62
712 y(6.2)44 b(Other)10 b(predicates)15 b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)51 b(29)0 833 y Fk(7)41 b(Running)10
b(Carne)1571 b(30)62 913 y Fj(7.1)44 b(Command)10 b(line)g(ar)o
(guments)16 b(.)21 b(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(30)0 1034
y Fk(8)41 b(Carne)11 b(implementation)1444 b(31)0 1156
y(9)41 b(Applications)1621 b(32)62 1236 y Fj(9.1)44 b(Dialog)9
b(management)17 b(.)k(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(32)62 1315 y(9.2)44 b(Nonmonotonic)8 b(reasoning)23
b(.)e(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)51 b(32)158 1395 y(9.2.1)f(Representation)30
b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(32)158 1475 y(9.2.2)f(Default)9
b(application)22 b(.)f(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(32)158 1555
y(9.2.3)f(Resolving)8 b(the)i(contradiction)38 b(.)21
b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(33)158 1635 y(9.2.4)f(Behavior)33 b(.)22 b(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)51 b(33)158 1714 y(9.2.5)f(More)10 b(work)32
b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(33)0 1836
y Fk(10)20 b(Bugs)1758 b(34)62 1916 y Fj(10.1)23 b(Number)10
b(of)g(clauses)41 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(34)62 1995 y(10.2)23 b(Resolution)13 b(.)21 b(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(34)62 2075 y(10.3)23
b(Query)29 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)51 b(34)0 2197 y Fk(1)n(1)22 b(Futur)o(e)12 b(work)1622
b(35)62 2276 y Fj(1)n(1.1)25 b(Misc)18 b(.)k(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(35)62 2356 y(1)n(1.2)25
b(Derivations)31 b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)51 b(35)62 2436 y(1)n(1.3)25 b(Derivations)9 b(through)f(Carne)33
b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)51 b(35)62 2516 y(1)n(1.4)25 b(Context)31
b(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(35)62 2596 y(1)n(1.5)25 b(Focus)34 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)h
(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(36)62 2675 y(1)n(1.6)25
b(GUI)i(.)22 b(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)51 b(37)62 2755 y(1)n(1.7)25 b(History)9 b(module)28
b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(37)62
2835 y(1)n(1.8)25 b(T)o(O)11 b(WRITE)g(ABOUT)32 b(.)21
b(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(37)p eop
%%Page: 4 5
4 4 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)983 b Fj(4)0 192 y Fk(A)32 b(Keyword)11
b(r)o(efer)o(ence)1511 b(40)62 271 y Fj(A.1)35 b(bs)e(.)21
b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(41)62 351 y(A.2)35 b(alma)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(42)62 431 y(A.3)35 b(call)10
b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)51 b(43)62 511 y(A.4)35 b(cdebug)13 b(.)21 b(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(44)0 632 y Fk(B)34
b(Running)10 b(ALma)g(in)g(pr)o(olog)1397 b(45)0 753
y(C)32 b(Demo)10 b(\256les)1663 b(47)0 875 y(D)32 b(Script)11
b(\256les)1658 b(48)62 955 y Fj(D.1)35 b(Example:)14
b(Forward)c(inference)28 b(.)21 b(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51 b(48)62
1034 y(D.2)35 b(Example:)14 b(backward)c(inference)39
b(.)21 b(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)
h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)51 b(50)62 1114 y(D.3)35 b(Example:)14
b(eval)p 402 1114 13 2 v 15 w(bound)20 b(.)h(.)g(.)g(.)g(.)g(.)g(.)h(.)
f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g
(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
51 b(53)158 1194 y(D.3.1)41 b(Computing)8 b(factorials)21
b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g
(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)
g(.)g(.)g(.)g(.)51 b(53)62 1274 y(D.4)35 b(Example)11
b(2:)35 b(.)21 b(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)
g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g
(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(54)0 1395 y Fk(E)34 b(Output)11 b(\256les)1637 b(56)62
1475 y Fj(E.1)40 b(History)e(.)21 b(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g
(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)
g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f
(.)g(.)g(.)g(.)g(.)51 b(56)62 1555 y(E.2)40 b(Debug)22
b(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g
(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)
g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)g(.)h(.)f(.)g(.)g(.)g(.)g(.)51
b(57)p eop
%%Page: 5 6
5 5 bop 0 533 a Fh(Chapter)22 b(1)0 770 y Fl(Intr)n(oduction)814
1016 y Fg(Draft)9 b(Alma)h(manual)0 1138 y Fj(Active)g(logics)g([2)o(,)
h(4])f(are)h(have)g(the)f(following)e(characteristics:)62
1251 y Ff(\017)21 b Fj(they)10 b(are)h(situated)e(in)h(time)62
1334 y Ff(\017)21 b Fj(they)10 b(maintain)f(a)i(history)62
1417 y Ff(\017)21 b Fj(they)10 b(tolerate)g(contradictions)62
1500 y Ff(\017)21 b Fj(they)10 b(enable)g(meta-reasoning)h(to)e(be)i
(done)0 1613 y(These)h(characteristics)g(make)g(active)f(logics)g
(suitable)f(for)h(use)g(in)g(various)f(domains)h(including)e(time)i
(situated)f(planning)g(and)h(ex-)0 1663 y(ecution)i([6)o(,)h(9],)g
(reasoning)f(about)f(other)h(agents')g(reasoning)g([3)o(],)i(discourse)
e(context)f(updating)g([5],)i(computation)e(of)h(Gricean)0
1712 y(implicatures)d([7)o(],)h(representation)e(of)h(meta)h(and)g
(mixed-intiative)d(dialog)h([8)o(,)i(1].)0 1792 y(For)d(each)h(of)e
(the)h(domains)g(above,)h(it)e(has)h(typically)e(been)j(the)e(case)j
(that)d(when)h(implemented,)h(a)f(new)g(special)g(purpose)g(active)g
(logic)0 1842 y(had)k(to)e(be)i(programmed.)18 b(This)12
b(document)f(describes)h(the)g(implementation)e(of)h(a)h
(general-purpose)f(active)h(logic)f(engine)g(called)0
1892 y(Alma)f(\(Active)g(Logic)g(MAchine\).)k(The)d(aim)f(is)g(that)g
(it)f(should)g(be)h(possible)g(to)f(specify)h(and)g(execute)h(any)g
(active)f(logic)f(using)g(the)0 1942 y(language)h(of)g(Alma.)0
2021 y(It)e(is)g(usually)f(not)g(suf)o(\256cient)h(to)g(compute)g
(consequences)h(of)f(an)h(active)f(logic,)g(we)h(want)f(the)g
(execution)g(of)f(the)h(logic)g(to)f(be)i(sensitive)0
2071 y(to)j(the)g(outside)g(world)f(and)i(to)f(have)g(the)h(logic)e(af)
o(fect)j(the)e(outside)g(world.)19 b(This)13 b(is)f(made)h(possible)f
(by)g(a)h(procedure)g(execution)0 2121 y(system)e(called)f(Carne)h
(that)e(runs)h(in)g(conjunction)e(with)h(Alma.)15 b(This)10
b(document)g(describes)h(the)f(Alma-Carne)h(system.)0
2201 y(After)i(an)h(overview)f(of)h(the)f(Alma-Carne)h(system,)h
(details)e(of)h(Alma)g(are)g(presented.)24 b(First)13
b(a)h(description)f(of)g(Alma,)i(then)e(the)0 2251 y(method)f(of)h
(running)e(Alma)i(and)g(\256nally)e(an)j(account)e(of)h(the)f
(implementation.)21 b(The)13 b(same)h(information)d(is)h(then)h
(presented)g(for)0 2300 y(Carne.)24 b(The)14 b(next)g(section)f
(describes)h(some)g(applications)f(of)g(the)g(Alma-Carne)h(system.)25
b(The)14 b(last)f(two)g(sections)h(discuss)f(the)0 2350
y(current)d(bugs)g(and)h(the)f(future)g(development)g(of)g(the)g
(system.)16 b(The)11 b(appendices)g(include)f(a)h(keyword)e(reference)j
(and)f(illustrations)0 2400 y(of)f(running)e(Alma-Carne.)965
2975 y(5)p eop
%%Page: 6 7
6 6 bop 0 533 a Fh(Chapter)22 b(2)0 770 y Fl(Alma-Carne)0
1016 y Fj(The)10 b(Alma-Carne)f(system)h(consists)f(of)g(Alma)g(which)g
(is)g(an)g(implementation)f(of)h(active)h(logic)e(and)h(Carne)h(which)e
(allows)h(Alma)h(to)0 1066 y(run)e(prolog)f(procedures)i
(asynchronously)m(.)k(Alma)c(can)h(cause)g(programs)e(to)g(be)i
(executed)f(in)f(Carne)h(through)e(a)i(reserved)h(predicate)0
1116 y(in)g(the)g(Alma)g(language.)15 b(Carne)10 b(can)h(assert)g(or)f
(delete)h(formulas)f(from)g(the)g(Alma)g(database.)16
b(This)10 b(is)g(the)g(main)g(mechanism)i(used)0 1166
y(to)e(get)g(results)g(of)f(the)i(procedures)f(back)h(from)f(Carne)g
(and)h(for)f(Alma)g(to)g(observe)g(get)g(input)f(from)h(the)g(world.)0
1336 y Fe(2.1)59 b(Characteristics)13 b(of)i(Alma-Carne)0
1466 y Fd(2.1.1)50 b(Asynchr)o(onicity)0 1574 y Fj(Alma)12
b(and)f(Carne)h(run)f(asynchronously)m(.)17 b(Alma)12
b(makes)h(a)f(request)f(to)g(Carne)h(and)f(goes)h(on)f(doing)f(the)i
(usual)f(inference)h(without)0 1624 y(waiting)d(for)h(a)g(reply)g(from)
g(Carne.)15 b(Whenever)c(an)f(answer)h(is)f(available,)h(it)e(is)h
(asserted)h(by)f(Carne)h(into)e(the)h(Alma)g(database.)0
1704 y(This)f(allows)g(the)g(system)h(to)e(perform)h(long)f
(computations)g(without)f(halting)h(the)h(inference.)14
b(On)9 b(the)h(other)e(hand,)i(the)f(formulas)g(in)0
1754 y(Alma)h(must)f(be)h(written)f(to)g(take)g(this)g(into)f(account.)
14 b(Also)c(there)f(is)h(no)f(guarantee)h(in)f(general)h(when)f(an)h
(answer)h(to)e(a)h(Carne)f(query)0 1803 y(will)g(return.)0
1883 y(Similarly)m(,)g(inputs)f(from)i(outside)e(the)i(system)g(are)g
(added)g(to)f(Alma)h(whoever)g(they)f(occur)h(so)f(that)g(Alma)h(does)g
(not)f(have)h(to)f(specif-)0 1933 y(ically)h(wait)f(for)h(inputs.)0
2082 y Fd(2.1.2)50 b(State)12 b(in)g(Carne)0 2189 y Fj(Carne)g(is)f
(meant)h(to)f(execute)h(programs)g(that)f(run)g(to)g(completion)f(once)
i(started.)17 b(The)c(procedures)e(in)g(Carne)h(should)e(ideally)h(not)
0 2239 y(have)g(memory)f(of)g(past)g(executions)g(of)g(that)g(or)f(of)h
(other)g(procedures)g(in)g(Carne.)k(In)c(this)f(way)i(the)f(only)f
(state)h(information)f(is)h(kept)0 2289 y(in)g(Alma)g(and)h(this)e(can)
i(clarify)f(the)g(design)g(of)g(applications.)0 2369
y(If)g(Alma)g(is)g(meant)g(to)f(be)i(connected)f(to)f(a)i(running)d
(procedure)i(that)f(keeps)i(its)e(own)h(state)g(and)g(needs)g(to)g
(interact)f(with)g(Alma)h(over)0 2419 y(a)i(longer)e(period)g(of)h
(time,)g(Carne)g(can)h(be)f(used)g(to)g(transmit)f(messages)j(to)d(and)
h(from)g(that)f(external)h(system.)17 b(In)11 b(this)f(way)m(,)i(Carne)
0 2468 y(runs)e(simple)h(message)h(transmission)e(procedures)h(that)f
(complete)h(within)e(a)j(short)e(time)g(and)h(do)g(not)e(preserve)j
(state.)k(The)11 b(dialog)0 2518 y(manager)h(application)d(of)i
(Alma-Carne)g(\(see)g(later\))g(uses)g(Carne)g(in)f(this)g(fashion.)15
b(Carne)c(builds)e(and)i(translates)g(messages)h(from)0
2568 y(several)f(modules)f(in)g(the)g(T)o(rains)g(system.)965
2975 y(6)p eop
%%Page: 7 8
7 7 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)983 b Fj(7)0 192 y Fd(2.1.3)50
b(Carne)13 b(serialization)0 299 y Fj(Carne)7 b(procedures)h(execute)g
(serially)m(.)k(If)7 b(a)h(request)f(is)g(sent)g(from)g(Alma)g(to)g
(Carne)g(before)h(a)f(previous)f(request)i(has)f(been)h(completed,)0
349 y(the)k(new)h(request)g(will)e(wait)h(until)f(Carne)i(is)f(done)g
(with)g(the)g(previous)g(one.)21 b(If)12 b(this)f(situation)g(is)h
(likely)g(to)g(occur)g(frequently)m(,)h(it)0 399 y(may)f(be)f(more)h
(convenient)e(to)h(con\256gure)g(Carne)g(as)h(a)f(message)i
(transmission)d(system)i(connected)f(to)g(servers)h(that)e(compute)h
(the)0 449 y(requests.)0 597 y Fd(2.1.4)50 b(Carne)13
b(to)f(Alma)g(r)o(equests)0 705 y Fj(It)g(is)g(not)g(straightforward)e
(for)i(a)h(Carne)g(procedure)g(to)f(make)h(requests)g(for)f
(information)e(from)i(Alma)h(while)f(they)g(are)h(running.)0
755 y(This)d(is)f(consistent)g(with)f(the)i(aim)g(of)f(running)f
(relatively)g(simple)i(procedures)f(in)g(Carne.)15 b(Once)10
b(again,)g(if)f(the)g(procedure)h(that)f(one)0 805 y(wishes)h(to)g
(write)g(needs)h(to)e(have)i(extensive)f(interaction)f(with)g(Alma,)i
(it)f(is)g(better)g(written)f(as)i(an)f(independent)f(server)n(.)0
953 y Fd(2.1.5)50 b(Carne)13 b(and)e(eval)p 476 953 15
2 v 18 w(bound)0 1061 y Fj(Prolog)c(procedures)i(can)h(be)f(executed)g
(within)e(the)h(Alma)h(process)h(using)d(the)i Fc(eval)p
1250 1061 13 2 v 14 w(bound)g Fj(operator)f(\(see)h(later\).)14
b(This)8 b(is)h(meant)0 1111 y(to)i(execute)h(very)g(short)e
(procedures)i(within)e(an)h(Alma)h(step.)18 b(Doing)10
b(so)i(may)g(slow)f(the)g(inference)h(in)f(Alma)h(since)g(it)f(has)h
(to)f(wait)0 1160 y(for)g(the)g(procedure)g(to)f(terminate)h(to)g
(continue)f(inference,)i(on)f(the)g(other)g(hand,)g(the)g(overheads)h
(of)e(sending)h(a)g(message)i(to)e(Carne)0 1210 y(and)f(getting)f(one)h
(or)g(more)h(replies)f(back)h(is)f(avoided.)0 1359 y
Fd(2.1.6)50 b(What)12 b(is)h(Carne)f(used)g(for?)0 1467
y Fj(From)e(the)f(above,)h(it)f(can)i(be)f(seen)g(that)f(Carne)h(is)f
(meant)h(to)f(be)h(used)g(for)f(medium)h(sized)g(procedures)g(that)f
(do)g(not)g(need)h(state)g(to)f(be)0 1516 y(maintained.)k(Smaller)7
b(procedures)h(can)g(be)g(implemented)f(in)g(Alma)h(itself)e(and)i(lar)
o(ger)f(procedures)h(are)g(better)f(executed)h(in)f(external)0
1566 y(independent)i(processes)j(with)d(Carne)h(being)g(used)g(to)g
(transmit)g(messages)i(between)e(Alma)h(and)f(the)h(process.)0
1646 y(Some)g(examples)g(of)f(procedures)h(used)f(in)g(Carne)g(are:)62
1767 y Ff(\017)21 b Fj(Input.)13 b(In)d(response)g(to)g(external)g
(events)g(that)g(Carne)h(monitors,)e(new)h(information)f(can)i(be)f
(added)h(to)f(Alma.)62 1850 y Ff(\017)21 b Fj(Output.)12
b(Similarly)m(,)e(Alma)h(can)g(cause)g(Carne)g(to)e(produce)h
(arbitrary)g(outputs)e(to)i(the)g(world.)62 1933 y Ff(\017)21
b Fj(Computation.)12 b(There)e(are)h(several)g(kinds)e(of)g
(computation)g(whose)h(results)f(are)i(needed)f(by)g(Alma)g(but)f
(which)h(are)g(not)f(con-)104 1983 y(veniently)e(or)i(ef)o(\256ciently)
f(described)i(in)e(the)h(logic.)j(These)e(can)g(be)f(executed)h(in)e
(Carne.)14 b(Since)9 b(Carne)g(is)g(a)h(separate)g(process)104
2033 y(from)e(Alma,)h(this)e(computation)g(does)h(not)g(af)o(fect)h
(the)f(performance)h(of)f(Alma\261)g(Alma)g(can)h(continue)f(reasoning)
f(while)h(com-)104 2083 y(putationally)f(intensive)j(work)f(is)i(done)f
(by)f(Carne.)62 2166 y Ff(\017)21 b Fj(Communication.)12
b(Carne)e(can)f(be)h(used)f(to)g(connect)g(Alma)g(to)g(external)g
(processes.)15 b(Carne)9 b(procedures)h(can)f(translate)g(from)104
2216 y(Alma)h(formulas)g(to)g(the)g(language)g(accepted)i(by)e(the)g
(external)g(processes)h(and)g(the)f(converse.)0 2385
y Fe(2.2)59 b(Specifying)14 b(the)h(system)0 2508 y Fj(An)10
b(application)f(using)g(Alma-Carne)i(can)g(be)f(speci\256ed)h(using)f
(three)g(\256les:)62 2621 y Ff(\017)21 b Fj(The)11 b(Alma)f(\256le.)15
b(This)10 b(is)g(a)h(\256le)f(containing)f(Alma)h(formulas)g(that)g
(specify)g(the)g(inference)h(to)f(be)g(done)g(by)g(the)g(system.)62
2704 y Ff(\017)21 b Fj(The)11 b(Alma)f(procedure)h(\256le.)j(This)c
(contains)g(the)g(short)f(procedures)i(that)e(are)j(executed)e(in)g
(Alma)h(within)d(a)j(step.)62 2787 y Ff(\017)21 b Fj(The)11
b(Carne)f(procedure)h(\256le.)j(This)c(contains)g(the)g(procedures)g
(that)g(can)h(be)g(called)f(from)g(Alma.)p eop
%%Page: 8 9
8 8 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)983 b Fj(8)0 192 y(An)8 b(important)f(part)h(of)g
(the)g(design)g(of)f(an)i(application)e(is)h(deciding)f(what)h(parts)g
(of)g(the)g(system)h(are)g(to)f(be)g(implemented)g(in)g(the)g(logic)0
241 y(and)k(which)f(as)h(procedures.)18 b(More)12 b(\257exibility)d
(can)j(be)g(gained)f(by)g(implementing)g(more)h(of)f(the)g(system)h(in)
f(Alma,)i(however)e(the)0 291 y(cost)f(is)g(lower)g(ef)o(\256ciency)m
(.)p eop
%%Page: 9 10
9 9 bop 0 533 a Fh(Chapter)22 b(3)0 770 y Fl(Alma)0 1041
y Fe(3.1)59 b(Overview)13 b(of)i(Alma)0 1164 y Fj(Alma)f(is)f(an)h
(executable)g(active)g(logic)f(which)g(proceeds)i(in)e(steps.)24
b(At)13 b(each)i(step,)g(the)e(rules)g(of)h(inference)g(are)g(applied)f
(to)g(the)0 1214 y(formulas)c(in)g(the)g(database)i(at)e(that)g(step)h
(to)f(produce)g(a)h(set)g(of)f(new)h(formulas.)j(These)e(are)f(added)g
(to)f(the)g(database)i(and)e(the)h(process)0 1263 y(repeats.)0
1412 y Fd(3.1.1)50 b(T)o(ime)0 1520 y Fj(The)12 b(current)e(step)h
(number)g(is)g(represented)g(in)f(the)h(database)h(and)f(changes)h(as)f
(the)g(program)g(executes.)17 b(Formulas)11 b(can)g(therefore)0
1569 y(be)g(written)e(that)g(are)i(sensitive)f(to)g(the)g(current)g
(time.)0 1718 y Fd(3.1.2)50 b(Referring)12 b(to)g(formulas)0
1826 y Fj(The)i(formulas)g(in)f(the)g(database)i(have)f(names)g(which)g
(can)g(be)g(user)g(speci\256ed)g(or)f(assigned)h(by)f(the)g(logic.)24
b(The)14 b(names)h(allows)0 1876 y(the)d(user)g(to)g(assert)h
(properties)e(of)h(the)g(formulas)g(and)g(to)g(reason)g(about)g(these)g
(properties.)19 b(One)13 b(can)f(for)g(instance,)h(assert)g(that)f(a)0
1925 y(particular)f(formula)h(is)f(to)h(be)g(preferred)g(to)g(another)n
(,)g(or)g(record)g(what)g(the)g(source)g(of)g(the)g(formula)f(is,)i(or)
f(the)f(probability)f(of)h(the)0 1975 y(formula)f(being)f(true)h(and)h
(so)f(on.)0 2124 y Fd(3.1.3)50 b(Pr)o(operties)13 b(of)f(formulas)0
2231 y Fj(The)f(logic)f(maintains)g(information)e(about)i(various)g
(properties)f(of)h(the)h(formulas)f(in)g(the)g(database,)i(including)c
(the)i(derivations)f(of)0 2281 y(the)g(formulas,)g(their)f
(consequences)j(and)e(the)f(time)h(at)g(which)g(they)f(were)i(derived.)
j(These)d(properties)e(are)i(available)f(for)g(reasoning)0
2331 y(through)g(reserved)h(predicates.)0 2480 y Fd(3.1.4)50
b(Inconsistency)0 2587 y Fj(In)8 b(general)g(the)g(set)g(of)g(formulas)
g(in)f(the)h(database)h(may)g(be)f(inconsistent.)k(This)c(eventually)f
(leads)h(to)f(the)h(derivation)f(of)h(a)g(literal)f(and)0
2637 y(of)g(its)g(negation.)12 b(This)7 b(direct)g(contradiction)e(is)i
(detected)h(by)f(the)g(logic)f(and)i(the)f(contradictands)f(as)i(well)f
(as)h(their)f(consequences)h(are)0 2687 y(made)k(unavailable)d(for)h
(further)g(inference.)15 b(The)c(fact)g(that)f(these)h(formulas)f(are)h
(contradictory)e(is)i(also)f(asserted)h(in)f(the)h(database.)0
2737 y(This,)d(together)f(with)g(the)g(properties)g(of)g(the)g
(formulas)h(can)g(be)g(used)f(to)g(resolve)h(the)f(contradiction.)12
b(If)7 b(either)g(of)h(the)f(contradictands)0 2787 y(is)j(thought)e(to)
i(be)h(true,)f(that)f(formula)h(can)h(then)f(be)h(reinstated)e(in)h
(the)g(database.)965 2975 y(9)p eop
%%Page: 10 11
10 10 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)962 b Fj(10)0 192 y Fd(3.1.5)50
b(Pr)o(ocedur)o(es)0 299 y Fj(Some)14 b(computations)e(that)h(need)h
(to)f(be)h(done)f(in)g(the)h(logic)e(may)i(be)g(more)g(easily)m(,)h
(conveniently)d(or)h(ef)o(\256ciently)h(done)f(through)0
349 y(procedures.)18 b(T)m(o)11 b(enable)h(this,)f(prolog)f(programs)h
(can)h(be)g(speci\256ed)g(as)g(inputs)e(to)h(Alma.)18
b(These)12 b(can)g(be)g(invoked)e(when)h(needed)0 399
y(through)e(the)h(formulas.)j(An)d(alternative)g(for)g(longer)f
(running)g(procedures)h(is)g(Carne.)0 569 y Fe(3.2)59
b(Syntax)15 b(of)g(the)g(Alma)f(Language)0 691 y Fj(The)d(following)d
(grammar)j(speci\256es)g(the)f(syntax)g(of)g(the)g(alma)h(language.)322
862 y Fb(ALM)5 b(AF)h(O)q(RM)f(U)g(LA)41 b Ff(\000)-7
b(!)41 b Fb(F)6 b(O)q(RM)f(U)g(LA)322 925 y(ALM)g(AF)h(O)q(RM)f(U)g(LA)
41 b Ff(\000)-7 b(!)41 b Fb(F)6 b(F)g(O)q(RM)f(U)g(LA)322
987 y(ALM)g(AF)h(O)q(RM)f(U)g(LA)41 b Ff(\000)-7 b(!)41
b Fb(B)r(F)6 b(O)q(RM)f(U)g(LA)457 1049 y(F)h(O)q(RM)f(U)g(LA)41
b Ff(\000)-7 b(!)41 b Fb(and)p Fa(\()p Fb(F)6 b(O)q(RM)f(U)g(LA;)i(F)f
(O)q(RM)f(U)g(LA)p Fa(\))457 1111 y Fb(F)h(O)q(RM)f(U)g(LA)41
b Ff(\000)-7 b(!)41 b Fb(or)q Fa(\()p Fb(F)6 b(O)q(RM)f(U)g(LA;)i(F)f
(O)q(RM)f(U)g(LA)p Fa(\))457 1174 y Fb(F)h(O)q(RM)f(U)g(LA)41
b Ff(\000)-7 b(!)41 b Fb(if)t Fa(\()p Fb(F)6 b(O)q(RM)f(U)g(LA;)i(F)f
(O)q(RM)f(U)g(LA)p Fa(\))425 1236 y Fb(F)h(F)g(O)q(RM)f(U)g(LA)40
b Ff(\000)-7 b(!)41 b Fb(f)t(if)t Fa(\()p Fb(C)s(O)q(N)5
b(J)t(F)h(O)q(RM)r(;)h(concl)q(usion)p Fa(\()p Fb(P)f(O)q(S)r(LI)s(T)g
Fa(\)\))424 1298 y Fb(B)r(F)g(O)q(RM)f(U)g(LA)41 b Ff(\000)-7
b(!)41 b Fb(bif)t Fa(\()p Fb(F)6 b(O)q(RM)f(U)g(LA;)i(F)f(O)q(RM)f(U)g
(LA)p Fa(\))457 1361 y Fb(F)h(O)q(RM)f(U)g(LA)41 b Ff(\000)-7
b(!)41 b Fb(LI)s(T)6 b(E)r(RAL)419 1423 y(C)s(O)q(N)f(J)t(F)h(O)q(RM)45
b Ff(\000)-7 b(!)41 b Fb(and)p Fa(\()p Fb(C)s(O)q(N)5
b(J)t(F)h(O)q(RM)r(;)h(C)s(O)q(N)e(J)t(F)h(O)q(RM)f Fa(\))419
1485 y Fb(C)s(O)q(N)g(J)t(F)h(O)q(RM)45 b Ff(\000)-7
b(!)41 b Fb(LI)s(T)6 b(E)r(RAL)488 1547 y(LI)s(T)g(E)r(RAL)42
b Ff(\000)-7 b(!)41 b Fb(P)6 b(O)q(S)r(LI)s(T)488 1610
y(LI)s(T)g(E)r(RAL)42 b Ff(\000)-7 b(!)41 b Fb(N)5 b(E)r(GLI)s(T)508
1672 y(N)g(E)r(GLI)s(T)48 b Ff(\000)-7 b(!)41 b Fb(not)p
Fa(\()p Fb(P)6 b(O)q(S)r(LI)s(T)g Fa(\))519 1734 y Fb(P)g(O)q(S)r(LI)s
(T)48 b Ff(\000)-7 b(!)41 b Fb(P)6 b(RE)r(D)q(N)f(AM)g(E)r
Fa(\()p Fb(LI)s(S)r(T)h(O)q(F)g(T)g(E)r(RM)f(S)r Fa(\))351
1796 y Fb(LI)s(S)r(T)h(O)q(F)g(T)g(E)r(RM)f(S)45 b Ff(\000)-7
b(!)41 b Fb(T)6 b(E)r(RM)351 1859 y(LI)s(S)r(T)g(O)q(F)g(T)g(E)r(RM)f
(S)45 b Ff(\000)-7 b(!)41 b Fb(LI)s(S)r(T)6 b(O)q(F)g(T)g(E)r(RM)f(S;)i
(T)f(E)r(RM)552 1921 y(T)g(E)r(RM)46 b Ff(\000)-7 b(!)41
b Fb(C)s(O)q(N)5 b(S)r(T)h(AN)f(T)552 1983 y(T)h(E)r(RM)46
b Ff(\000)-7 b(!)41 b Fb(F)6 b(U)f(N)g(C)s(N)g(AM)g(E)r
Fa(\()p Fb(LI)s(S)r(T)h(O)q(F)g(T)g(E)r(RM)f(S)r Fa(\))552
2045 y Fb(T)h(E)r(RM)46 b Ff(\000)-7 b(!)41 b Fb(V)10
b(ARI)s(AB)r(LE)448 2108 y(V)f(ARI)s(AB)r(LE)45 b Ff(\000)-7
b(!)41 b Fb(P)6 b(r)q(ol)q(og)22 b(v)q(ar)q(iabl)q(es)431
2170 y(C)s(O)q(N)5 b(S)r(T)h(AN)f(T)48 b Ff(\000)-7 b(!)41
b Fb(P)6 b(r)q(ol)q(og)22 b(constant)412 2232 y(P)6 b(RE)r(D)q(N)f(AM)g
(E)43 b Ff(\000)-7 b(!)41 b Fb(P)6 b(r)q(ol)q(og)22 b(constant)409
2295 y(F)6 b(U)f(N)g(C)s(N)g(AM)g(E)42 b Ff(\000)-7 b(!)41
b Fb(P)6 b(r)q(ol)q(og)22 b(constant)0 2527 y Fe(3.3)59
b(Intended)16 b(meaning)0 2649 y Fj(The)11 b(language)f(is)f(very)h
(similar)g(to)f(a)i(\256rst)e(order)h(language)g(and)g(the)g(meaning)g
(of)g(the)f(connectives)i(follows)d(from)i(that.)j(The)e(main)0
2699 y(dif)o(ferences)g(are)g Fb(bif)k Fj(and)c Fb(f)t(if)t
Fj(:)62 2812 y Ff(\017)21 b Fb(bif)t Fa(\()p Fb(X)q(;)7
b(Y)j Fa(\))g Fj(means)i(the)e(same)i(thing)c(as)j Fb(if)t
Fa(\()p Fb(X)q(;)c(Y)k Fa(\))f Fj(except)h(that)f(it)f(is)h(only)f
(used)i(in)e(backward)i(searches.)p eop
%%Page: 11 12
11 11 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)964 b Fj(1)n(1)62 192 y Ff(\017)21
b Fb(f)t(if)t Fa(\()p Fb(X)q(;)7 b(concl)q(usion)p Fa(\()p
Fb(Y)12 b Fa(\)\))f Fj(is)f(used)h(as)g(a)g(rule)g(of)f(inference.)15
b(If)c(all)f(the)g(literals)g(in)g(the)h(premise)g(are)g(in)f(the)g
(database,)j(then)104 241 y(the)d(conclusion)g(is)h(added.)16
b(The)11 b(behavior)f(of)h Fb(f)t(if)16 b Fj(is)11 b(dif)o(ferent)f
(from)h(that)f(of)g Fb(if)16 b Fj(in)10 b(that)h(like)f(inference)h
(rules,)g(we)g(cannot)104 291 y(derive)f(new)g(formulas)g(from)g(a)h
Fb(f)t(if)17 b Fj(except)10 b(for)g(the)g(conclusion.)0
404 y(There)h(are)g(also)f(a)h(number)f(of)g(reserved)h(predicates.)k
(These)c(will)e(be)i(described)f(in)g(detail)g(later)n(.)0
574 y Fe(3.4)59 b(Infer)o(ence)14 b(rules)0 697 y Fj(There)d(are)f(a)g
(number)g(of)f(types)g(of)h(inference)g(rules)f(used:)k(resolution;)8
b Fb(f)t(if)16 b Fj(rules)9 b(de\256ned)h(by)f(the)h(user;)f(the)h
(contradiction)e(detec-)0 746 y(tion)h(rule;)g(the)i(clock)f(rule;)f
(and)i(rules)f(interpreting)e(the)i(reserved)h(predicates.)0
895 y Fd(3.4.1)50 b(Resolution)0 1003 y Fj(The)10 b(main)f(inference)g
(rule)g(is)g(resolution.)j(This)c(is)h(used)g(in)g(both)f(forward)g
(can)i(backward)f(chaining)f(procedures.)14 b(If)9 b(two)f(formulas)0
1052 y(resolve,)k(application)e(of)h(the)g(rule)g(causes)i(the)e
(resolvent)g(to)f(be)i(added)f(to)g(the)g(database)i(at)e(the)g(next)g
(step.)17 b(Formulas)12 b(with)e(main)0 1102 y(connective)g
Fc(fif)g Fj(are)h(not)f(used)g(with)f(resolution.)k(There)e(are)g(also)
f(constraints)f(to)h(the)g(used)h(of)f Fc(bif)p Fj(.)0
1251 y Fd(3.4.2)50 b(User)13 b(rules)0 1359 y Fj(Using)f
Fb(f)t(if)t Fj(,)k(inference)e(rules)e(can)i(be)f(added)h(to)e(the)h
(logic.)21 b(The)14 b(rule)e(consists)h(of)f(a)i(conjunction)d(as)j
(premise)f(and)g(a)h(literal)d(as)0 1408 y(conclusion.)16
b(The)11 b(conclusion)f(is)h(added)h(to)e(the)h(database)h(if)f(all)g
(of)f(the)h(literals)f(in)h(the)g(premise)h(are)f(in)g(the)g(database)h
(at)f(the)g(time)0 1458 y(the)f(rule)g(is)g(invoked.)j(This)d(does)h
(not)e(allow)h(one)g(to)g(specify)g(rule)g(schemas.)0
1538 y Fc(fif)g Fj(formulas)g(are)h(similar)f(to)f Fc(if)i
Fj(except)f(for)g(the)g(following:)62 1651 y Ff(\017)21
b Fj(W)m(e)10 b(cannot)g(derive)h(new)f Fc(fif)g Fj(formulas)g(from)g
(old)g(ones.)62 1734 y Ff(\017)21 b Fj(The)12 b(premises)g(of)f(the)h
Fc(fif)f Fj(rule)g(have)h(to)f(be)h(in)f(the)g(database)i(at)e(the)h
(same)h(time.)k(In)12 b(the)f(case)i(of)e Fc(if)p Fj(,)h(the)g
(conclusion)e(is)104 1784 y(still)e(obtained)i(even)h(if)e(not)h(all)g
(the)g(antecedents)h(are)g(in)e(the)i(database)g(at)f(the)g(same)i
(time.)0 1897 y(Consider)c(a)h(database)h(containing)d
Fc(if\(and\(P,)24 b(Q\),)h(R\))p Fj(.)9 b(If)f Fc(P)h
Fj(but)f(not)g Fc(Q)g Fj(is)h(available,)g(resolution)e(results)h(in)h
Fc(if\(Q,)24 b(R\))p Fj(.)9 b Fc(P)0 1947 y Fj(can)h(then)g(be)g
(removed)g(from)g(the)f(database.)15 b(This)10 b(will)e(not)h(af)o
(fect)i(the)e(derived)h(formula.)j(If)d Fc(Q)f Fj(is)h(then)f(added,)i
Fc(R)f Fj(will)e(be)i(derived.)0 1996 y(At)g(no)g(time)g(do)g(we)h
(have)f(both)g Fc(P)g Fj(and)g Fc(Q)g Fj(in)g(the)g(database,)i(yet)e
Fc(R)g Fj(is)g(derived.)0 2076 y(If)f(instead)g(of)g
Fc(if\(and\(P,)24 b(Q\),)h(R\))9 b Fj(we)h(had)f Fc(fif\(and\(P,)24
b(Q\),)g(R\))p Fj(,)10 b(the)f(presence)i(of)e Fc(P)g
Fj(alone)g(cannot)g(give)g(rise)g(to)g(any)0 2126 y(new)f(formula.)k
(If)c Fc(P)f Fj(is)g(removed)h(and)g Fc(Q)f Fj(added,)i(nothing)c
(happens)j(either)n(.)k(W)m(e)c(will)e(only)g(get)i Fc(R)f
Fj(if)g(both)f Fc(P)i Fj(and)f Fc(Q)h Fj(are)g(in)f(the)g(database)0
2176 y(at)j(the)g(same)i(time.)0 2324 y Fd(3.4.3)50 b(Contradiction)11
b(detection)0 2432 y Fj(The)e(Alma)g(database)g(can)g(become)g
(inconsistent)e(and)h(this)g(leads)h(to)e(false)i(formulas)f(being)g
(derived.)13 b(As)8 b(the)g(logic)g(executes,)i(more)0
2482 y(false)g(formulas)f(can)i(be)f(derived.)j(At)d(some)g(point)e
(though)g(the)i(inconsistency)e(must)i(give)f(rise)h(to)f(a)h(direct)f
(contradiction)f(and)i(this)0 2532 y(can)h(be)f(detected)g(by)f(Alma.)
15 b(A)9 b(minimum)h(number)f(of)h(actions)f(are)i(taken)f(to)f
(prevent)g(further)g(derivations)g(of)g(false)h(formulas)g(but)0
2582 y(that)g(does)h(not)g(resolve)f(the)h(inconsistency)m(.)16
b(Alma)11 b(however)g(gives)g(the)f(user)i(the)e(possibility)f(to)h
(write)g(theories)h(that)f(will)g(reason)0 2631 y(about)e(the)h
(contradiction)e(and)i(gives)g(the)f(possibility)f(to)h(resolve)h(the)g
(contradiction)e(by)h(removing)g(or)h(reinstating)e(the)i(appropriate)0
2681 y(formulas.)p eop
%%Page: 12 13
12 12 bop 0 90 a Fi(DRAFT)125 b(Alma-Carne)10 b(manual)125
b(April)9 b(1,)h(2001)962 b Fj(12)0 192 y Fk(Detecting)11
b(contradictions)0 299 y Fj(The)h(contradiction)e(detection)i(rule)f
(has)h(as)h(premises)f Fb(\036;)7 b Ff(:)p Fb(\036)k
Fj(where)h Fb(\036)g Fj(is)g(a)g(literal.)18 b(The)12
b(detection)f(of)h(the)f(direct)h(contradiction)0 349
y(causes)g(the)e(following)e(actions:)62 460 y Ff(\017)21
b Fj(A)9 b(formula)f(of)h(the)g(form)f Fc(contra\(N1,)24
b(N2,)h(T\))9 b Fj(is)f(added)i(to)e(the)h(database)g(where)h
Fb(N)5 b Fa(1)k Fj(and)g Fb(N)c Fa(2)j Fj(are)i(the)f(names)h(of)e(the)
104 510 y(contradictory)g(literals)i(and)g Fb(T)17 b
Fj(is)10 b(the)g(step)g(number)g(at)h(which)e(the)h(contradiction)f
(has)i(been)f(detected.)62 592 y Ff(\017)21 b Fj(The)10
b(contradictands)f(and)h(their)f(consequences)j(if)d(any)h(are)g
(removed)h(from)e(the)h(set)g(of)g(formulas)f(that)g(can)i(be)f(used)g
(for)g(fur)o(-)104 641 y(ther)i(inference.)23 b(However)13
b(they)f(remain)h(in)g(the)f(database)i(so)f(that)f(they)g(can)i(be)f
(reasoned)h(about.)21 b(These)14 b(formulas)e(are)104
691 y(\252distrusted\272.)62 773 y Ff(\017)21 b Fj(Formulas)10
b(of)g(the)g(form)g Fc(distrusted\(N\))f Fj(are)i(added)g(to)f(the)g
(database)h(where)g Fb(N)k Fj(is)10 b(the)g(name)h(of)f(a)h(formula.)0
884 y(Once)e(an)g(inconsistency)f(gives)h(rise)f(to)g(a)i(direct)e
(contradiction,)g(the)g(contradictands)g(and)h(their)f(consequences)i
(are)f(removed)g(from)0 934 y(consideration)h(for)h(further)f
(inferences.)19 b(This)11 b(prevents)g(unknown)f(formulas)h(from)g
(being)g(derived)g(from)g(the)g(contradiction)f(but)0
984 y(the)g(database)h(may)g(still)e(be)h(inconsistent)f(and)h
(therefore)g(generate)h(new)g(contradictions)d(since)j(this)e(scheme)j
(does)f(not)e(determine)0 1034 y(the)h(\252root)g(cause\272)i(of)e(the)
g(contradiction.)0 1113 y(The)i(next)f(step)g(is)g(to)f(try)h(and)g
(resolve)g(the)g(contradiction)f(and)h(perhaps)g(the)g(inconsistency)m
(.)16 b(If)11 b(while)g(the)g(contradiction)e(has)j(not)0
1163 y(been)e(resolved)f(any)g(of)g(the)h(contradictands)e(reappears)j
(through)c(another)i(derivation,)f(a)i(new)g(contradiction)d(is)j
(asserted,)g(and)g(that)0 1213 y(new)h(formula)e(is)h(distrusted.)0
1353 y Fk(Resolving)f(contradictions)0 1460 y Fj(Alma)j(does)h(not)e
(provide)g(any)h(automatic)g(way)g(to)g(resolve)g(contradictions.)17
b(The)c(implicit)d(relations)i(provide)f(information)f(that)0
1510 y(can)g(be)f(useful)f(in)g(deciding)g(what)h(the)g(resolution)e
(of)h(the)h(contradiction)e(should)g(be.)14 b(These)c(include)e(the)h
(derivations)f(of)g(formulas,)0 1560 y(the)j(time)g(at)g(which)g(they)g
(were)h(derived,)f(the)h(consequences)g(of)f(the)g(formulas)g(and)g(so)
g(on.)17 b(Detection)11 b(of)g(a)g(contradiction)f(could)0
1610 y(also)g(trigger)f(a)i(query)f(to)g(the)g(user)g(as)h(to)f(the)g
(solution.)i(See)f(elsewhere)h(for)d(applications)g(of)h(Alma)h(that)f
(resolve)g(contradictions.)0 1758 y Fd(3.4.4)50 b(Reserved)13
b(pr)o(edicates)0 1866 y Fj(The)f(presence)g(of)f(the)g(reserved)h
(predicates)g(in)e(formulas)h(causes)i(various)d(actions)h(to)g(be)g
(performed.)17 b(Details)11 b(of)g(these)g(are)h(pre-)0
1916 y(sented)e(below)m(.)0 2085 y Fe(3.5)59 b(Infer)o(ence)14
b(pr)o(ocedur)o(es)0 2216 y Fd(3.5.1)50 b(Forward)13
b(infer)o(ence)0 2323 y Fj(The)e(usual)g(mode)g(of)f(operation)g(for)g
(Alma)h(is)g(in)f(the)h(forward)f(direction.)k(The)e(way)f(this)e(is)i
(seen)h(in)e(active)h(logics)f(is)g(to)g(apply)g(all)0
2373 y(the)g(rules)f(of)g(inference)i(possible)e(to)g(all)g(the)h
(formulas)f(available)h(in)f(the)g(current)h(step)f(to)h(get)f(the)h