Paradigm
Logic
Based on formal logic, using facts and rules to derive conclusions.
Plangs
- AbcDatalog
- Ascent
- Ciao
- Clojure
- Coq
- Cozo
- Curry
- Datahike
- Datalevin
- Datalog
- DataScript
- Datomic
- Differential Datalog
- Eclair
- ELPI
- Eqlog
- erlog
- Fleng
- Flix
- Formulog
- GNU Prolog
- GUPU
- Ichiban Prolog
- Isabelle
- JIProlog
- Logica
- Logtalk
- Mercury
- MiniZinc
- Natlog
- Picat
- Popper
- Potassco
- Prolog
- PyNeuraLogic
- Racket
- Scryer Prolog
- Shen
- Slog
- Soufflé
- Strand
- SWI-Prolog
- Tau Prolog
- Teyjus
- Trealla Prolog
- XSB