Found 24 records for the .PRO file extension name
There are 23 other file types using the PRO file extension:
.pro - abbrev. for project, used by many prgs
.pro - Pro/ENGINEER configuration file
.pro - Configuration file (PROfile)
.pro - Euphoria profile file
.pro - Graphics profile file (DOS)
.pro - MS program profile
.pro - Pagis Pro graphics file
.pro - Project file of Lorenz Graf's HTML tool
.pro - Terramodel project file
.pro - Power Render object file
.pro - Atari disk image format
.pro - Chord Pro song format
.pro - Creamware Pulsar audio file
.pro - Fast-Talk pronunciation file
.pro - IDL source code file
.pro - Infinity game engine projectile type description file
.pro - PCschematic ELautomation project file
.pro - Pegasus Mail profile file
.pro - Punch Pro Home design file
.pro - PV-WAVE procedure file
.pro - Qt Project configuration file
.pro - Sid Meier's SimGolf game file
.pro - Jabbim (Jabber client) file
file extension PRO - Prolog programming language source code file
File extension PRO description:
Prolog is a logic programming language. It is a general purpose language often associated with artificial intelligence and computational linguistics. It has a purely logical subset, called "pure Prolog", as well as a number of extralogical features.
Having its roots in formal logic, and unlike many other programming languages, Prolog is declarative: The program logic is expressed in terms of relations, and execution is triggered by running queries over these relations. Relations and queries are constructed using Prolog's single data type, the term. Relations are defined by clauses. Given a query, the Prolog engine attempts to find a resolution refutation of the negated query. If the negated query can be refuted, i.e., an instantiation for all free variables is found that makes the union of clauses and the singleton set consisting of the negated query false, it follows that the original query, with the found instantiation applied, is a logical consequence of the program. This makes Prolog (and other logic programming languages) particularly useful for database, symbolic mathematics, and language parsing applications. Because Prolog allows impure predicates, checking the truth value of certain special predicates may have some deliberate side effect, such as printing a value to the screen. This permits the programmer to use some amount of conventional imperative programming when the logical paradigm is inconvenient.
The language was first conceived by a group around Alain Colmerauer in Marseille, France, in the early 1970s, while the first compiler was written by David H. D. Warren in Edinburgh, Scotland. Prolog was one of the first logic programming languages, and remains among the most popular such languages today, with many free and commercial implementations available. While initially aimed at natural language processing, the language has since then stretched far into other areas like theorem proving, expert systems, games, automated answering systems, ontologies and sophisticated control systems, and modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.
Associated applications to file extension PRO:
Company / developer:
Daniel Diaz
GNU Prolog
GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems).