Create entry

Prolog list

4 entries — Query Language, Programming Language — Predicate logic, mostly first-order — details/edit