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
Unlambda is a programming language. Nothing remarkable there. The originality of Unlambda is that it stands as the unexpected intersection of two marginal families of languages. Functional programming languages, of which the canonical representative is Scheme (a Lisp dialect). This means that the basic object manipulated by the language (and indeed the only one as far as Unlambda is concerned) is the function. Rather, Unlambda uses a functional approach to programming: the only form of objects it manipulates are functions. Each function takes a function as an argument and returns a function. Apart from a binary “apply” operation, Unlambda provides several built-in functions (the most important ones being the K and S combinators). User-defined functions can be created, but not saved or named, because Unlambda does not have any variables.
|
About
The Windows Terminal is a modern, fast, efficient, powerful, and productive terminal application for users of command-line tools and shells like Command Prompt, PowerShell, and WSL. Its main features include multiple tabs, panes, Unicode and UTF-8 character support, a GPU-accelerated text rendering engine, and custom themes, styles, and configurations. This is an open-source project and we welcome community participation. Multiple tabs, full Unicode support, and GPU-accelerated text rendering. Full customizability and split panes. Install the Windows Terminal from the Microsoft Store. This allows you to always be on the latest version when we release new builds with automatic upgrades. It includes many of the features most frequently requested by the Windows command-line community including support for tabs, rich text, globalization, configurability, theming & styling, and more. The Terminal will also need to meet our goals and measures to ensure it remains fast and efficient.
|
|||
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
Developers in need of an advanced Programming Language solution
|
Audience
Command-line users in need of a terminal application with support for tabs, rich text, globalization, configurability, theming, etc.
|
|||
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
Free
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 InformationUnlambda
www.madore.org/~david/programs/unlambda/
|
Company InformationMicrosoft
United States
apps.microsoft.com/store/detail/windows-terminal/9N0DX20HK701
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
|
||||||
|
|
||||||
|
|
|
|
||||
Categories |
Categories |
Categories |
Categories |
|||
Integrations
Actian Ingres
Atom
ConTEXT Editor
Defog
DevKit
FPT Cloud
Five
Gemini 1.5 Pro
Gemini Enterprise
Gemini Pro
|
Integrations
Actian Ingres
Atom
ConTEXT Editor
Defog
DevKit
FPT Cloud
Five
Gemini 1.5 Pro
Gemini Enterprise
Gemini Pro
|
Integrations
Actian Ingres
Atom
ConTEXT Editor
Defog
DevKit
FPT Cloud
Five
Gemini 1.5 Pro
Gemini Enterprise
Gemini Pro
|
Integrations
Actian Ingres
Atom
ConTEXT Editor
Defog
DevKit
FPT Cloud
Five
Gemini 1.5 Pro
Gemini Enterprise
Gemini Pro
|
|||
|
|
|
|
|
