About
Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language, the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations. Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.
|
About
SQL is a domain-specific programming language used for accessing, managing, and manipulating relational databases and relational database management systems.
|
About
Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well as operations on more traditional data such as numbers and characters. While Scheme is often identified with symbolic applications, its rich set of data types and flexible control structures make it a truly versatile language. Scheme has been employed to write text editors, optimize compilers, operating systems, graphics packages, expert systems, numerical applications, financial analysis packages, virtual reality systems, and practically every other type of application imaginable. Scheme is a fairly simple language to learn since it is based on a handful of syntactic forms and semantic concepts and since the interactive nature of most implementations encourages experimentation. Scheme is a challenging language to understand fully.
|
About
Use optimization and simulation models in your desktop, Web or mobile application. Use the same high-level objects (like Problem, Solver, Variable and Function), collections, properties and methods across different programming languages. The same object-oriented API is exposed "over the wire" through Web Services WS-* standards to remote clients in PHP, JavaScript, C# and other languages. Procedural languages can use conventional calls that correspond naturally to the properties and methods of the Object-Oriented API. Linear and quadratic programming, mixed-integer programming, smooth nonlinear optimization, global optimization, and non-smooth evolutionary and tabu search are all included. The world's best optimizers, from Gurobi™, XPRESS™ and MOSEK™ for linear, quadratic and conic models to KNITRO™, SQP and GRG methods for nonlinear models "plug into" Solver SDK. Easily create a sparse DoubleMatrix object with 1 million rows and columns.
|
|||
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||
Audience
Anyone in need of a declarative language for theorem proving, expert systems, term rewriting, and more
|
Audience
Developers and database admins
|
Audience
Professionals in need of a solution to write text editors, optimize compilers, build operating systems, create graphics packages, and manage expert systems
|
Audience
Companies searching for a solution to create optimization and simulation models
|
|||
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
|||
API
Offers API
|
API
Offers API
|
API
Offers API
|
API
Offers API
|
|||
Screenshots and Videos |
Screenshots and Videos |
Screenshots and Videos |
Screenshots and Videos |
|||
Pricing
No information available.
Free Version
Free Trial
|
Pricing
Free
Free Version
Free Trial
|
Pricing
Free
Free Version
Free Trial
|
Pricing
$2495 one-time payment
Free Version
Free Trial
|
|||
Reviews/
|
Reviews/
|
Reviews/
|
Reviews/
|
|||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||
Company InformationProlog
Founded: 1972
en.wikipedia.org/wiki/Prolog
|
Company InformationSQL
Founded: 1974
sourceforge.net/software/product/SQL/
|
Company InformationScheme
www.scheme.com/tspl4/intro.html#./intro:h0
|
Company InformationFrontline Systems
www.solver.com/solver-sdk-platform
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
|
|
|||||
|
|
||||||
|
|
|
|||||
Categories |
Categories |
Categories |
Categories |
|||
Simulation Features
1D Simulation
3D Modeling
3D Simulation
Agent-Based Modeling
Continuous Modeling
Design Analysis
Direct Manipulation
Discrete Event Modeling
Dynamic Modeling
Graphical Modeling
Industry Specific Database
Monte Carlo Simulation
Motion Modeling
Presentation Tools
Stochastic Modeling
Turbulence Modeling
|
||||||
Integrations
Amazon Q
Apache Trafodion
AskCodi
BlazeSQL
CodeSession
Codex CLI
ConvertCSV
DataLab
Fleak
Gemini-Exp-1206
|
Integrations
Amazon Q
Apache Trafodion
AskCodi
BlazeSQL
CodeSession
Codex CLI
ConvertCSV
DataLab
Fleak
Gemini-Exp-1206
|
Integrations
Amazon Q
Apache Trafodion
AskCodi
BlazeSQL
CodeSession
Codex CLI
ConvertCSV
DataLab
Fleak
Gemini-Exp-1206
|
Integrations
Amazon Q
Apache Trafodion
AskCodi
BlazeSQL
CodeSession
Codex CLI
ConvertCSV
DataLab
Fleak
Gemini-Exp-1206
|
|||
|
|
|
|
|
