Toggle navigation
Home
About
Subscribe (RSS)
Categories
Architecture
Backends
Clouds
Conferences
Distribution and Distributed Systems
Formats
Game Development
Hardware
Languages
Libraries
Places of interest on the Internet
Platforms
Presentation
Reading
Storage
Teaching
Tools
Virtual Machines
All Tags
All Pages
Tag: logic
A Very Gentle Introduction To Relational & Functional Programming
Ciao
CLIPS
Cosmos
CSPLib
Gecode
Jason
Lever
Lisa (Lisp-based Intelligent Software Agents)
LogicJS
Logtalk
LPS (Logic Production Systems)
Mercury
mimir
miniKanren
OptaPlanner
Orbital
Oz (language) and Mozart (programming system)
Picat
PowerLoom
Prolog
Reading in Artificial Intelligence
RuleML
Souffle