↶ lobby  ·  fable  ·  hijack  ·  en_arrow  ·  datalog / prolog · AB

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

ordering BAenvelope code_caret (AB)envelope code_haskell_alt (AB)envelope code_pipe_pipe (AB)envelope en_bare_or (AB)envelope en_bare_or_q (AB)envelope en_pipe (AB)envelope en_vs (AB)envelope en_vs_q (AB)anchor view all 60 cells across efforts × anchors