Mac
Featured 

Constraint Logic Programming

Software
Relevance Popularity Rating
Sphero Edu

Sphero Edu

free rating
175
Sphero, Inc.
Sphero Edu is a programming application for Sphero Robots. Designed for learner progression, Sphero Edu beginners can give...
Edu is a programming application for Sphero...advanced logic, while pros can use text programming
comet

comet

rating
38
comet-online
Comet is an Award-winning tool for solving complex combinatorial optimization problems...
(stochastic) local search and constraint-programming algorithms, while preserving
Spock

Spock

free rating
6
joergp
Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy...
tool for debugging logic programs...methods for propositional programs
Lightbot

Lightbot

rating
5
Lightbot Inc.
Lightbot is a programming puzzle game, meaning that its game mechanics require the use of programming logic...
Lightbot is a programming puzzle game, meaning...require the use of programming logic
jFuzzyLogic

jFuzzyLogic

free rating
4
Pablo Cingolani
jFuzyLogic implements Fuzzy Control Language (FCL) which standardizes programming fuzzy logic...
programming fuzzy logic systems and reduces programming...to boilerplate programming tasks
Flowol 4

Flowol 4

rating
1
Robot Mesh
Flowol 4 allows students of all ages to develop logical reasoning and problem...
logical reasoning and problem solving talents, develop programming...robots. Programming
Axiom AIR HyperControl for Logic

Axiom AIR HyperControl for Logic

rating Avid Technology Inc
Seesaw Logic

Seesaw Logic

rating Novel Games Limited
Logic Calculator

Logic Calculator

rating Oscar Ch
Wordwise logic functions

Wordwise logic functions

rating University of Hamburg
Logic Pro (Rosetta)

Logic Pro (Rosetta)

rating Apple Inc.
Logic 2

Logic 2

rating Apple Inc.
MIDI Solutions Programming Tools

MIDI Solutions Programming Tools

rating com.MIDITest692860059
Coding Games and Programming Challenges to Code Better

Coding Games and Programming Challenges to Code Better

rating Google
Course for Logic Remote

Course for Logic Remote

rating APPDESIGNER.COM INC.
Cymatics Logic Pro Plugins

Cymatics Logic Pro Plugins

rating CodeWeavers Inc
Cymatics Logic Pro Instruments

Cymatics Logic Pro Instruments

rating CodeWeavers Inc

Tags

Boiler Plate Debugging Methods DLV Syntax Logic Programs Programming App Programming Tasks Robots Commands Smodels Syntax Sphero Robots Text Programming

Featured stories

See all
How to Properly Remove Programs on Mac How to Properly Remove Programs on Mac
A few tips on how to remove the unwanted applications on your Mac without risking to compromise the operating system.
Top 10 Antivirus programs for Mac in 2018 Top 10 Antivirus programs for Mac in 2018
In case you're interested in safeguarding your Mac from viruses, here are the best 10 solutions available this year.
iOS 18 and its reliance on AI: what’s known thus far iOS 18 and its reliance on AI: what’s known thus far
iOS 18 is heavily marketed as a groundbreaking iteration of the OS. Let's take a look at the AI side of the buzz.
Apple allows game emulators with outside sources of ROMs Apple allows game emulators with outside sources of ROMs
Unlike the earlier moves of this sort, this time it's not a forced decision.
Apple puts a spotlight on work-related Vision Pro use cases Apple puts a spotlight on work-related Vision Pro use cases
Vision Pro is here to stay. Apple showcases how companies are using the set for purposes other than entertainment.