Index of Prolog : the next 50 years

• A
  • Acceleo 269
  • agressive 54
  • Apple 249
  • approximation 325
  • army 98
• B
  • backtracking 47
  • barber 11
  • beliefs ix, 211
  • B-meth 239
  • beauty 108
  • BFS 29
  • bias 167
  • bio xi, 392
  • bottom-up 8, 68, 297
  • bound 31
  • Bulgaria viii
  • business 308
• C
  • C++ 100
  • causal 373
  • coloring 41
  • ChatGPT 269
  • children 153
  • citizen xv
  • coherent 224
  • coloring 46
  • components vii
  • compression 100
  • concurrency 34
  • constraints 18
  • COP 243
  • correct vii
  • cut 77, 327
• D
  • DARPA 93, 98, 100
  • DCG 18
  • deep learning 359
  • deadlocks 208
  • delay 18, 229
  • DFS 327
  • diagram 215
  • DNA 155
  • DSL 303
  • disease 374
  • dyn ix, 197, 363
• E
  • eating 212
  • edge 88
  • entreprise 242
  • Ergo 224
  • Euclidian 297
  • experts 14, 233
  • event 212, 214
• F
  • F-logic 225
  • financial x, 249
  • first-order logic vii
  • fix-point 308
  • floats 336 ... cf fix-point
  • FOLD 350
  • fuzzy 99
• G
  • Gantt diagram 214
  • Gaussian 18
  • GCD 297
  • genealogy 84
  • genome 320
  • geo viii, 336, 338
  • government xv
  • grammars 155
  • Grandparent 4
• H
  • Haskell language 23, 35
  • heaps 100
  • higher order 34
  • Horn 82
• I
  • if 3, 76
  • incoherence 381
  • IDE 224
  • incomplete 269
  • inference 236
  • infinite 302
  • insurance 42, 46
  • intentional 213
  • invariants 54
  • intersection 31
  • is/2 178
• J
  • Janus vii
  • javaFX 243
  • javascript 192, 375
  • jeu 206
  • jupyter 243
• K
  • knowledge 236
• L
  • labelling 327
  • LAMP 269
  • Lamport 70 (breadcrumbs : Fidge Mattern of Concurrency)
  • languages... Ergo, F-logic, Scala
  • legal 277
  • law xv, 287
  • legal xv, 277
  • lib 26
  • locks 208
  • lightOn 214
  • loop 55, 155
• M
  • macros 27
  • manual 179
  • maps 46
  • married 10
  • meta-programming 155
  • min 326
  • metareasoning 101
  • misconception 113
  • mod 112, 297
  • module 34
  • multi-agent 308
  • multi-core 34
  • multiparadigm 34
  • mutual viii, 28, 36, 89
  • myths 113
• N
  • neural 236
  • neural networks 358
• O
  • object 224
  • operator 13
  • optimization 392
  • optional 190
  • OR 303
  • OR-tools 392
• P
  • pandemic 392
  • paper v
  • path 34
  • partition 27
  • parallelism ... cf concurrency 34
  • perf 24
  • prize v
  • priority 100
  • protein 320
  • Python 101
• Q
• R
  • RDF 100
  • recursion 155
  • RPN 13
• S
  • sales 249
  • Scala 308
  • SEC 248
  • semidet 27
  • SEND + MORE = MONEY 244
  • side-effect 197
  • sorted 31
  • sport Super bowl 392
  • STEM 152
  • stochastic 320
  • structures 112
  • subgoal 10, 18
  • super bowl 392 sport
  • SWISH 188 ++++, 192, 213
• T
  • tabling 12
  • taxonomy 249
  • temporal 213
  • thesis 46
  • thief 135
  • thread 192
  • Titanic 350
  • top-down 68, 69
  • top-level 178
  • traces 302
  • training 350
  • tree 249
  • type vi
• U
  • unification 8, 93, 113
  • Unit tests 178
• V
• W
• X
• Y
• Z