---
key: para/logic
kind: paradigm
name: "Logic"
url: https://plangs.page/paradigm/logic
---

# Logic

Based on formal logic, using facts and rules to derive conclusions.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Logic_Programming

## Relationships

### Plangs

- [AbcDatalog](https://plangs.page/abclog)
- [Ascent](https://plangs.page/ascent)
- [Ciao](https://plangs.page/ciao)
- [Clojure](https://plangs.page/clojure)
- [Coq](https://plangs.page/coq)
- [Cozo](https://plangs.page/cozo)
- [Curry](https://plangs.page/curry)
- [Datahike](https://plangs.page/datahike)
- [Datalevin](https://plangs.page/datalevin)
- [Datalog](https://plangs.page/datalog)
- [DataScript](https://plangs.page/datascript)
- [Datomic](https://plangs.page/datomic)
- [Differential Datalog](https://plangs.page/ddlog)
- [Eclair](https://plangs.page/eclair)
- [ELPI](https://plangs.page/elpi)
- [Eqlog](https://plangs.page/eqlog)
- [erlog](https://plangs.page/erlog)
- [Fleng](https://plangs.page/fleng)
- [Flix](https://plangs.page/flix)
- [Formulog](https://plangs.page/formulog)
- [GNU Prolog](https://plangs.page/gprolog)
- [GUPU](https://plangs.page/gupu)
- [Ichiban Prolog](https://plangs.page/ichiban)
- [Isabelle](https://plangs.page/isabelle)
- [JIProlog](https://plangs.page/jiprolog)
- [Logica](https://plangs.page/logica)
- [Logtalk](https://plangs.page/logtalk)
- [Mercury](https://plangs.page/mercury)
- [MiniZinc](https://plangs.page/minizinc)
- [Natlog](https://plangs.page/natlog)
- [Picat](https://plangs.page/picat)
- [Popper](https://plangs.page/popper)
- [Potassco](https://plangs.page/potassco)
- [Prolog](https://plangs.page/prolog)
- [PyNeuraLogic](https://plangs.page/pyneura)
- [Racket](https://plangs.page/racket)
- [Scryer Prolog](https://plangs.page/scryer)
- [Shen](https://plangs.page/shen)
- [Slog](https://plangs.page/slog)
- [Soufflé](https://plangs.page/souffle)
- [Strand](https://plangs.page/strand)
- [SWI-Prolog](https://plangs.page/swi-prolog)
- [Tau Prolog](https://plangs.page/tau)
- [Teyjus](https://plangs.page/teyjus)
- [Trealla Prolog](https://plangs.page/trealla)
- [XSB](https://plangs.page/xsb)