Last update: Thu Jun 20 02:00:37 MDT 2019
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Nam:1993:CSP,
author = "Young K. Nam and Lawrence J. Henschen",
title = "A controlling scheme for {Prolog} through count
terms",
journal = j-COMP-LANGS,
volume = "19",
number = "4",
pages = "235--245",
month = oct,
year = "1993",
CODEN = "COLADA",
ISSN = "0096-0551 (print), 1873-6742 (electronic)",
ISSN-L = "0096-0551",
bibdate = "Tue Mar 25 14:04:06 MST 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/complngs.bib",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages); C4210 (Formal logic);
C6160K (Deductive databases); C6110L (Logic
programming)",
corpsource = "Syst. Eng. Res. Lab., Korea Inst. of Sci. and
Technol., Taejon, South Korea",
journal-URL = "http://www.sciencedirect.com/science/journal/00960551",
keywords = "controlling scheme; count terms; database query
language; deductive databases; execution behavior;
formal logic; logic programming; operational semantics;
PROLOG; Prolog; Prolog execution; query languages;
syntax; WAM; Warren Abstract Machine",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- abstract,
1(2)121,
2(3)61,
3(1)13,
5(2)77,
6(2)67,
8(3)95,
9(1)1,
9(3)149,
10(1)1,
10(3)189,
10(3)225,
12(1)21,
12(2)69,
12(3)145,
13(3)109,
14(3)165,
16(2)147,
17(1)75,
17(3)157,
18(2)137,
18(4)241,
18(4)273,
19(1)19,
19(2)65,
19(2)79,
19(3)205,
20(1)25,
20(2)117,
22(1)1,
22(4)215,
23(2)87,
23(2)121,
35(2)100,
37(1)24,
38(2)123,
42(z)22,
43(z)41,
47(z)1,
47(z)77
- behavior,
4(1)29,
17(4)269,
18(2)77,
19(3)205,
20(2)127,
20(3)193,
22(1)39,
22(2)51,
23(2)61
- controlling,
31(3)107
- database,
2(3)61,
4(3)139,
7(3)103,
8(3)113,
9(1)25,
10(2)91,
10(3)165,
14(2)63,
15(2)65,
17(2)101,
17(3)157,
17(3)185,
19(3)185,
19(4)261,
38(2)123,
44(z)299,
45(z)299
- deductive,
14(2)63,
17(2)101
- execution,
1(1)17,
9(3)183,
12(2)95,
14(1)1,
14(4)263,
16(1)65,
18(1)17,
18(3)197,
19(1)41,
19(3)185,
20(1)53,
20(4)253,
22(2)115,
22(2)143,
22(2)165,
22(2)181,
22(4)193,
23(2)87,
25(3)119,
36(2)158,
40(3)155,
43(z)116,
44(z)48,
53(z)121,
54(z)406
- machine,
1(1)17,
1(2)121,
2(1)27,
2(3)75,
3(1)1,
3(1)53,
3(2)95,
4(2)83,
5(2)103,
6(1)47,
6(2)67,
6(3)131,
9(3)149,
10(2)127,
10(3)189,
15(3)127,
16(1)81,
16(2)129,
17(1)1,
18(1)17,
18(2)137,
19(3)205,
20(1)25,
20(3)135,
20(4)253,
20(4)267,
22(1)27,
22(2)165,
23(2)87,
23(2)121,
54(z)297,
54(z)544
- operational,
10(2)147,
10(3)189,
11(1)15,
11(3)173,
13(1)31,
14(3)165,
16(1)39,
16(2)147,
18(4)217,
20(1)1,
22(2)51,
23(1)25,
23(2)61,
23(2)87,
23(2)121
- PROLOG,
12(1)9,
13(3)149,
14(2)63,
14(3)193,
17(2)133,
17(4)213,
18(1)57,
18(3)185,
20(1)25,
22(2)95,
22(2)115
- Prolog,
12(1)9,
13(3)149,
14(3)193,
17(2)133,
17(4)213,
18(1)57,
18(3)185,
19(3)185,
20(1)25,
21(2)81,
22(2)95,
22(2)115,
22(2)181,
31(1)17,
39(4)142,
51(z)102
- query,
7(3)103,
9(1)25,
10(3)165,
14(2)63,
15(2)65,
17(3)157,
17(3)185,
19(4)261,
25(1)39,
35(2)143,
35(4)422,
38(2)123,
47(z)131
- scheme,
11(1)29,
11(3)143,
12(1)1,
12(1)47,
12(3)197,
14(3)205,
15(1)55,
15(2)109,
17(1)19,
17(4)251,
18(3)153,
21(2)113,
22(1)39,
22(4)215,
23(1)25,
23(2)179,
25(2)89,
25(3)119,
49(z)62
- syntax,
1(1)83,
1(3)233,
2(1)9,
3(1)13,
3(4)227,
4(3)131,
4(3)171,
5(1)37,
6(1)1,
6(2)79,
6(2)95,
10(2)127,
10(3)225,
11(2)85,
11(3)173,
13(2)65,
14(2)83,
14(2)93,
14(3)153,
14(3)205,
16(1)97,
17(3)169,
17(3)199,
18(3)169,
18(4)241,
18(4)251,
20(2)101,
20(4)213,
20(4)239,
22(1)27,
22(4)215,
23(1)1,
24(2)73
- term,
16(1)81,
23(2)61
- through,
14(4)225,
37(4)168,
37(4)193,
44(z)3,
44(z)355,
45(z)355,
47(z)170,
54(z)474
- WAM,
20(1)25
- Warren,
18(2)137,
20(1)25