Software
Constraint solver & Constraint programming system
Logic programming
-
Prolog Cafe
-
TLLP
-
See also: https://cspsat.gitlab.io
Theorem prover
-
LLPTTP
-
LL2LLP
-
See also: https://cspsat.gitlab.io
Prolog Cafe
TLLP
See also: https://cspsat.gitlab.io
LLPTTP
LL2LLP
See also: https://cspsat.gitlab.io