Related Tags
logic-programming × 32logic × 12
prolog × 12
programming-languages × 6
terminology × 4
functional-programming × 4
unification × 3
algorithms × 2
reference-request × 2
compilers × 2
lambda-calculus × 2
turing-completeness × 2
constraint-programming × 2
term-rewriting × 2
knowledge-representation × 2
programming-paradigms × 2
complexity-theory × 1
time-complexity × 1
arrays × 1
decision-problem × 1
nondeterminism × 1
first-order-logic × 1
propositional-logic × 1
education × 1
research × 1