Entry Kacsuk:1987:DPS from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
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{Kacsuk:1987:DPS,
author = "P. Kacsuk and A. Bale",
title = "{DAP Prolog}: a Set-Oriented Approach to {Prolog}",
journal = j-COMP-J,
volume = "30",
number = "5",
pages = "393--403",
month = oct,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.5.393",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/",
URL = "http://comjnl.oxfordjournals.org/content/30/5/393.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/393.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/394.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/395.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/396.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/397.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/398.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/399.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/400.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/401.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/402.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_05/tiff/403.tif",
acknowledgement = ack-nhfb,
affiliation = "Queen Mary Coll, London, Engl",
affiliationaddress = "Queen Mary Coll, London, Engl",
classcodes = "C6120 (File organisation); C6140D (High level
languages)",
classification = "723",
corpsource = "Queen Mary Coll., London, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "College; computer programming languages; DAP; DAP
Prolog; data structures; first-order predicate logic;
ICL Distributed Array Processor; interpretation
process; logic programming; parallel logic languages;
parallel machines; parallel programming; PROLOG; Queen
Mary; set mode implementation; set-oriented approach;
set-oriented view; SIMD machine",
treatment = "P Practical",
}
Related entries
- approach,
23(1)3,
23(1)9,
23(1)28,
23(2)114-1,
23(3)223,
23(3)256,
23(4)317,
24(3)222,
24(4)320,
25(1)12,
25(3)353,
25(4)410,
25(4)442,
25(4)492,
26(3)255,
26(3)283,
26(4)293,
26(4)360,
26(4)383,
27(1)3,
27(1)37,
27(2)171,
27(3)246,
28(1)59,
28(1)89,
28(2)97,
28(2)162,
28(4)353,
29(2)161,
29(2)189,
29(2)189-1,
29(3)222,
29(4)330,
29(5)385,
30(1)8,
30(2)119,
30(2)176,
30(3)258,
30(5)437,
30(6)507,
31(2)133,
31(2)182,
31(3)243,
31(5)409,
32(2)152,
32(2)162,
32(5)386,
32(5)437
- array,
23(1)73,
24(3)263,
25(1)140,
25(2)231,
25(3)327,
28(2)148,
30(4)343,
30(5)404,
30(5)413,
30(5)420,
30(6)565,
31(1)83,
31(3)279,
31(6)567,
32(6)571
- College,
29(6)545,
31(4)313
- DAP,
28(3)340,
30(5)413,
30(5)420
- first-order,
30(2)183
- ICL,
24(4)301,
28(2)148,
31(1)12
- implementation,
23(3)212,
23(3)233,
24(1)71,
24(2)191,
24(4)384-2,
25(1)74,
25(3)307,
25(3)399,
25(4)471,
26(2)134,
26(2)164,
26(2)187,
26(3)235,
27(2)127,
27(3)260,
28(1)22,
28(2)97,
28(2)128,
28(4)391,
29(2)97,
29(3)201,
29(3)269,
29(6)500,
30(2)97,
30(2)157,
30(3)282,
30(3)282-1,
30(5)420,
31(1)56,
31(2)116,
31(2)125,
31(2)147,
31(4)330,
31(5)398,
31(6)531,
31(6)545,
32(1)93,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)267,
32(4)312,
32(5)422
- interpretation,
30(6)519,
32(1)29
- logic,
23(2)165,
23(2)191,
25(1)140,
25(2)218,
25(2)287,
27(3)260,
28(2)112,
28(5)474,
28(5)487,
29(1)9,
29(1)12,
29(1)17,
29(3)241,
29(3)246,
29(6)481,
29(6)495,
29(6)545,
30(1)77,
30(2)134,
30(2)183,
30(3)258,
30(3)283,
30(5)386,
31(2)133,
31(3)220,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)29,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(5)399,
32(5)445,
32(5)453
- machine,
23(3)229,
25(1)153,
26(4)293,
27(3)254,
27(3)283,
28(2)148,
28(5)449,
29(5)396,
29(5)451,
30(2)110,
30(3)214,
30(5)386,
30(5)420,
31(4)325,
31(5)386,
31(5)391,
31(5)398,
31(5)409,
31(5)420,
31(5)426,
31(5)431,
31(5)437,
31(5)457,
31(6)490,
32(1)36,
32(2)127,
32(2)152,
32(2)175,
32(5)461
- Mary,
31(4)313
- mode,
26(2)188
- predicate,
30(2)183
- process,
23(2)147,
24(1)78,
25(1)7,
25(1)34,
25(1)44,
25(1)116,
25(2)231,
26(1)10,
26(2)113,
26(2)134,
26(3)277,
26(4)381,
27(1)18,
27(4)328,
28(1)73,
28(4)409,
29(2)109,
29(4)373,
29(4)380,
29(5)396,
29(5)423,
29(6)500,
29(6)506,
30(1)20,
30(1)52,
30(2)149,
30(3)201,
30(4)372,
30(6)487,
30(6)498,
30(6)541,
31(3)201,
31(3)248,
31(4)289,
31(4)296,
31(5)426,
32(1)16,
32(1)24,
32(1)45,
32(2)162
- processor,
23(2)147,
24(1)14,
24(1)62,
25(1)22,
25(4)423,
27(4)348,
28(1)29,
28(1)34,
28(2)148,
28(3)243,
28(4)357,
29(1)12,
29(4)289,
29(5)390,
29(6)486,
30(2)119,
30(3)214,
30(5)386,
30(5)404,
30(5)413,
30(5)420,
30(5)433,
30(5)437,
31(1)12,
31(6)517,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)194,
32(3)276,
32(5)422,
32(5)437,
32(5)445,
32(6)571
- PROLOG,
29(1)17,
29(3)246,
30(2)183,
31(2)110,
31(2)133
- Prolog,
28(2)134,
28(5)487,
29(1)9,
29(1)17,
29(3)246,
29(6)545,
30(2)183,
31(2)110,
31(2)133
- queen,
31(4)313
- set,
23(1)46,
23(2)107,
23(2)187,
24(2)184,
25(1)140,
25(2)183,
25(3)340,
27(1)72,
27(3)209,
27(3)283,
27(3)283-1,
27(4)294,
28(3)298,
28(4)406,
28(5)496,
29(3)277,
30(3)258,
30(5)437,
31(1)65,
31(3)283,
31(4)325,
32(1)86,
32(3)281,
32(4)370,
32(4)374
- SIMD,
26(2)97,
26(4)293,
28(2)148,
30(5)413
- view,
30(5)437,
31(3)269,
32(2)175,
32(4)333,
32(6)524