abstract
alternative
append
application
arbitrary
architectures
backtracking
binding
clause
cloud
combinatorial
compiler
completeness
compound
computation
concept
concurrent
determinism
developed
dialect
embed
expressed
fact
goal
illustration
implementation
indexing
initiated
integers
keyword
keywords
knowledge
lambda
language
method
middleware
negated
negation
optimization
parser
pattern
placeholders
predicate
preprocessor
program
prolog
recursively
refutation
relation
resolution
sally
semantic
sibling
singleton
substitutions
succeeds
syntax
system
tabling
tag
tags
tail
term
terms
theorem
tom
turing
typography
word
words