Toggle navigation
Home
Categories
AI
Architecture
Backends
Business Reading
Clouds
Conferences
Containers
Developer Relations
Distribution and Distributed Systems
Formats
Game Development
Hardware
Language Development
Languages
Libraries
Management
Patterns
Places of interest on the Internet
Platforms
Presentation
Reading
Security
Speaking
Storage
Teaching
Thinking
Tools
Virtual Machines
Writing
All Pages
All Tags
Subscribe (RSS)
Tag: logic
Caledon
Ciao
Ciao Prolog
CLIPS
Cosmos
CSPLib
Egison
ErgoAI
Flora
Gecode
Gödel
Jason
Lever
Lisa (Lisp-based Intelligent Software Agents)
LogicJS
Logic Programming
Logtalk
LPS (Logic Production Systems)
Mercury
mimir
miniKanren
OMG Decision Model and Notation (DMN)
OptaPlanner
Orbital
Oz (language) and Mozart (programming system)
Picat
PowerLoom
Prolog
Quint
Reading in Artificial Intelligence
Rulebook
RuleML
Scryer Prolog
Souffle
SWI-Prolog
Write your own Tiny Programming System