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
PureScript is a strongly typed, purely functional programming language that compiles JavaScript. It enables developers to build robust web applications, web servers, and mobile apps using functional programming techniques. PureScript offers features such as algebraic data types, pattern matching, row polymorphism, extensible records, higher-kinded types, type classes with functional dependencies, and higher-rank polymorphism. The language emphasizes strong static typing and pure functions, ensuring code reliability and maintainability. Developers can compile PureScript code into readable JavaScript, facilitating seamless integration with existing JavaScript codebases. The ecosystem includes an extensive collection of libraries, excellent tooling, and editor support with instant rebuilds. An active community provides numerous learning resources, including the PureScript book, which offers practical projects for beginners.
|
About
QML is a declarative language that allows user interfaces to be described in terms of their visual components and how they interact and relate with one another. It is a highly readable language that was designed to enable components to be interconnected in a dynamic manner, and it allows components to be easily reused and customized within a user interface. Using the QtQuick module, designers and developers can easily build fluid animated user interfaces in QML, and have the option of connecting these user interfaces to any back-end C++ libraries. QML is a user interface specification and programming language. It allows developers and designers alike to create highly performant, fluidly animated and visually appealing applications. QML offers a highly readable, declarative, JSON-like syntax with support for imperative JavaScript expressions combined with dynamic property bindings.
|
About
RazorSQL is an SQL query tool, database browser, SQL editor, and database administration tool for Windows, macOS, Mac OS X, Linux, and Solaris. RazorSQL has been tested on over 40 databases, can connect to databases via either JDBC or ODBC. Browse database objects such as schemas, tables, columns, primary and foreign keys, views, indexes, procedures, functions, and more. Visual tools to create, alter, describe, execute, and drop database objects such as tables, views, indexes, stored procedures, functions, triggers, and more. Includes multi-tabular display of queries with options for filtering, sorting, searching, and much more. Import data from various formats such as delimited files, Excel spreadsheets, and fixed-width files. Includes a robust relational database (HSQLDB) that is up and running with no manual configuration out of the box.
|
|||
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 interested in a solution to build reliable and maintainable applications
|
Audience
Developers searching for a complete Programming Language solution
|
Audience
DeVops teams looking for a Database management solution
|
|||
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
No information available.
Free Version
Free Trial
|
Pricing
Free
Free Version
Free Trial
|
Pricing
$99.95 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 InformationPureScript
Founded: 2017
United States
www.purescript.org
|
Company InformationQt
Founded: 1995
Finland
doc.qt.io/qt-6/qmlapplications.html
|
Company InformationRazorSQL
United States
razorsql.com
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
|
|
||||
|
||||||
|
||||||
Categories |
Categories |
Categories |
Categories |
|||
Integrations
Amazon DynamoDB
Amazon Redshift
Amazon SimpleDB
Apache Derby
Azure SQL Database
C++
CodePal
EditRocket
F#
IBM Informix
|
Integrations
Amazon DynamoDB
Amazon Redshift
Amazon SimpleDB
Apache Derby
Azure SQL Database
C++
CodePal
EditRocket
F#
IBM Informix
|
Integrations
Amazon DynamoDB
Amazon Redshift
Amazon SimpleDB
Apache Derby
Azure SQL Database
C++
CodePal
EditRocket
F#
IBM Informix
|
Integrations
Amazon DynamoDB
Amazon Redshift
Amazon SimpleDB
Apache Derby
Azure SQL Database
C++
CodePal
EditRocket
F#
IBM Informix
|
|||
|
|
|
|