50 Years of Prolog and Beyond.

Philipp Körner Michael Leuschel João Barbosa Vítor Santos Costa Verónica Dahl Manuel V. Hermenegildo José F. Morales Jan Wielemaker Daniel Diaz Salvador Abreu Giovanni Ciatto

Published in: CoRR (2022)

Keyphrases

expert systems
years ago
logic programming language
logic programming
knowledge representation
abstract machine
real time
prolog programs
constraint logic programming
programming language
special case
databases
computer science
theorem proving
multiscale
clustering algorithm
computer vision
neural network