one fable-low hijack cell
pair datalog / prolog
envelope en_arrow
ordering AB
effort low
English with arrow '→' — '{X} → {Y}'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
# Prolog → Datalog
Datalog is essentially a **restricted subset of Prolog**, designed for database queries with guaranteed termination.
## What Gets Removed Going from Prolog to Datalog
| Feature |
neighbors