SWI-Prolog
From MaRDI portal
swMATH20950MaRDI QIDQ32763FDOQ32763
Author name not available (Why is that?)
Official website: https://www.swi-prolog.org/
Cited In (only showing first 100 items - show all)
- Learning higher-order logic programs
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Learning efficient logic programs
- Pengines: Web Logic Programming Made Easy
- BousiProlog
- Concolic testing in logic programming
- Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
- TOMP
- Title not available (Why is that?)
- DASWAM
- Smodels
- clpfd
- CDAOstore
- Prolog
- wamcc
- B-Prolog
- CP-logic
- ProbLog
- PITA
- NoMoRe
- YAP-Prolog
- Mercury
- TreeTagger
- Likelog
- DLog
- leanTAP
- Aleph
- Ciao
- CiaoPP
- Pengines
- SICStus
- jPET
- NP Datalog
- CAT
- PolyFARM
- OPTYap
- XSB
- randoCoP
- SparQ
- Cyc
- PRISM
- GHC
- FRIL
- clpb
- GraphLog
- KANREN
- CHR
- daVinci
- OpenSLAM
- PonyGE2
- KnowRob
- cplint
- proSQLite
- Radish
- MCINTYRE
- pl-nauty
- IDP
- Jess
- PARLOG
- FOIL
- GOLEM
- plml
- Real
- April
- NewMDSX
- Binder
- LPaaS
- HaLoop
- Deqo
- JSetL
- PRIZ
- anthem
- PIDoc
- SWISH DataLab
- CoDe
- Kaskade
- DLPEQ
- TreeRePair
- lpeq
- TED
- PRISM-PSY
- Metagol
- Metaopt
- Advances in integrative statistics for logic programming
- Efficient Low-Level Connection Tableaux
- FactorBase
- SenticNet
- 2P-Kt
- ReSpecT
- tuProlog
- TuCSoN
- TuSoW
- Search combinators
- QuickFOIL
- RelNN
- Causal inference in cplint
- The Boolean constraint solver of SWI-Prolog (system description)
- Logic Programming
- A new algorithm to automate inductive learning of default theories
- Gauss-lintel
This page was built for software: SWI-Prolog
