Search Results for "programming learning system"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.

RobotFlow is a mobile robotics tookit based on FlowDesigner. The visual programming interface provided with FlowDesigner will help people to better visualize & understand what is really happening in the robot's control loops, sensors and actuators.