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 world's most popular web automation, data extraction, and web testing solution, now with Chromium browser technology for supporting all modern websites. Including sites that use dialog boxes, Javascript, Flash, Flex, Java, and AJAX. Perform in-browser testing across Chrome and Firefox. Write to standard file formats or use the API to save directly to a database. iMacros web automation software works with every website to make it easy for you to record and replay repetitious work. Automate tasks across Chrome and Firefox. There is no new scripting language to learn, allowing you to easily record and replay actions on each browser, so even the most complex tasks can be automated. Automate functional, performance, and regression testing across modern websites and capture exact web page response times. Schedule macros to run periodically against your production website to ensure it is up and running and behaving exactly as you expect.
|
|||
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
Businesses and companies requiring a tool to automate their data extraction and web testing operations
|
|||
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
$99 per month
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 InformationProgress
Founded: 1981
United States
www.progress.com/imacros
|
|||
Alternatives |
Alternatives |
Alternatives |
Alternatives |
|||
|
|
||||||
|
|
||||||
|
|
|
|
||||
Categories |
Categories |
Categories |
Categories |
|||
Integrations
Borneo
ChartDB
CloudBeaver Enterprise
CoreIDE
Dolt
Gemini 2.0 Flash
Geobank
Jet Profiler
LuGo-Test
Myriade
|
Integrations
Borneo
ChartDB
CloudBeaver Enterprise
CoreIDE
Dolt
Gemini 2.0 Flash
Geobank
Jet Profiler
LuGo-Test
Myriade
|
Integrations
Borneo
ChartDB
CloudBeaver Enterprise
CoreIDE
Dolt
Gemini 2.0 Flash
Geobank
Jet Profiler
LuGo-Test
Myriade
|
Integrations
Borneo
ChartDB
CloudBeaver Enterprise
CoreIDE
Dolt
Gemini 2.0 Flash
Geobank
Jet Profiler
LuGo-Test
Myriade
|
|||
|
|
|
|
|
