Connections
logic
Entity
Artificial intelligence
Concept
programming language
Entity
digital object identifier
Entity
Lisp
Entity
John McCarthy
Entity
Royal Swedish Academy of Sciences
Entity
garbage collection
Entity
logic programming
Entity
first-order logic
Entity
truth value
Entity
Dartmouth workshop
Entity
ALGOL 60
Entity
second-order logic
Entity
short-circuit evaluation
Entity
frame problem
Entity
negation as failure
Entity
Journal of the ACM
Entity
space fountain
Entity
SLD resolution
Entity