234:
219:
214:
224:
201:"ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al., Mach Intell 4, Edinburgh U Press, 1969, pp. 423–429
77:, aggregation operators, the central role of backtracking and constraint solving. Absys was the first implementation of a
229:
59:
66:
162:
62:
22:
8:
74:
185:
146:
129:
78:
27:
189:
177:
141:
130:"Absys: the first logic programming language —A retrospective and a commentary"
208:
181:
70:
47:
101:
206:
69:. It anticipated a number of features of
145:
160:
123:
121:
119:
117:
154:
207:
163:"The early years of logic programming"
127:
235:Programming languages created in 1967
114:
13:
220:Prolog programming language family
88:was chosen as an abbreviation for
14:
246:
215:Declarative programming languages
134:The Journal of Logic Programming
225:Academic programming languages
1:
107:
147:10.1016/0743-1066(90)90030-9
7:
230:Logic programming languages
95:
10:
251:
79:logic programming language
170:Communications of the ACM
46:
41:
33:
21:
161:Kowalski, R. A. (1988).
67:University of Aberdeen
128:Elcock, E.W. (1990).
63:programming language
182:10.1145/35043.35046
75:negation as failure
34:First appeared
18:
16:
53:
52:
28:Logic programming
242:
194:
193:
167:
158:
152:
151:
149:
125:
19:
15:
250:
249:
245:
244:
243:
241:
240:
239:
205:
204:
198:
197:
165:
159:
155:
126:
115:
110:
98:
90:Aberdeen System
12:
11:
5:
248:
238:
237:
232:
227:
222:
217:
203:
202:
196:
195:
153:
112:
111:
109:
106:
105:
104:
97:
94:
51:
50:
44:
43:
39:
38:
35:
31:
30:
25:
9:
6:
4:
3:
2:
247:
236:
233:
231:
228:
226:
223:
221:
218:
216:
213:
212:
210:
200:
199:
191:
187:
183:
179:
175:
171:
164:
157:
148:
143:
139:
135:
131:
124:
122:
120:
118:
113:
103:
100:
99:
93:
91:
87:
82:
80:
76:
72:
68:
64:
61:
58:was an early
57:
49:
45:
40:
36:
32:
29:
26:
24:
20:
173:
169:
156:
137:
133:
89:
85:
83:
55:
54:
140:(1): 1–17.
60:declarative
209:Categories
108:References
42:Influenced
84:The name
65:from the
190:12259230
96:See also
73:such as
23:Paradigm
188:
176:: 38.
71:Prolog
48:Prolog
186:S2CID
166:(PDF)
102:ABSET
86:Absys
56:Absys
17:Absys
37:1967
178:doi
142:doi
211::
184:.
174:31
172:.
168:.
136:.
132:.
116:^
92:.
81:.
192:.
180::
150:.
144::
138:9
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑