
	Where results make sense

Topic: Prolog

Related Topics

Prolog programming language

Programming language

Logic programming

Data type

Mercury programming language

SPARK programming language

Python programming language

Hello world program

Alain Colmerauer

One True Brace Style

Ada programming language

Expert system

Unification

Jess programming language

The C Programming Language (book)

In the News (Tue 10 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Prolog Programming Language
		Prolog represents a fundamentally new approach to computing and became a serious competitor to LISP.
		Prolog is a rich collection of data structures in the language and human reasoning, and a powerful notation for encoding end-user applications.
		Prolog is the highest level general-purpose language widely used today.
	www.engin.umd.umich.edu /CIS/course.des/cis400/prolog/prolog.html (355 words)

	The Prolog Dictionary
		Prolog tries to satisfy the goals, and if it manages to do this, the query is said to succeed.
		In Prolog, despite the fact that it uses a relational notation (except for arithmetic expressions), functions are common, but expressed using the relational notation that depends on the definition/convention in the previous paragraph.
		A Prolog goal succeeds if it is possible to either check it directly against the facts known to Prolog, or find bindings for variables in the goal that makes the goal true.
	www.cse.unsw.edu.au /~billw/prologdict.html (5192 words)

	Prolog Language
		Prolog is not completely declarative because you sometimes need to control the backtracking of the unification algorithm with the "cut" operator.
		They're certainly similar and share Prolog's influence, and are characteristic of logic-based languages in general, but they aren't Prolog in a classical sense (not that I'm implying anyone is saying that they are, I just wanted to add that to the discussion).
		Prolog has implicit flow control (apart from the cut operator, which is a wart).
	c2.com /cgi/wiki?PrologLanguage (1698 words)

	Strawberry Prolog
		Strawberry Prolog already covers one of the main problems connected with the creating Web sites and this is the problem for creating programs which can run directly on the server to provide service for your web site visitors.
		Prolog is a language of a higher level.
		Prolog is a high-level language and employing it you describe the nature of your problem but not the way to its solution.
	www.dobrev.com (1112 words)

	[No title] (Site not responding. Last check: 2007-09-11)
		The text of a Prolog program is normally created in a file or a number of files using one of the standard text editors.
		Although Prolog integers must be in the range -2^17 to 2^17-1, the integers in arguments to arithmetic procedures and the intermediate results of the evaluation may range from -2^35 to 2^35-1.
		The use of this explicit existential quantifier outside the setof and bagof constructs is superfluous, and therefore is not recognised by the compiler.
	www.cs.uah.edu /~thinke/Prolog/prolog.html (16765 words)

	Prolog - Wikipedia, the free encyclopedia
		Prolog is used in many artificial intelligence programs and in computational linguistics (especially natural language processing, which it was originally designed for).
		Prolog is a logical language, so in theory the programmer shouldn't care about how it executes.
		Prolog has a built in mechanism for parsing context-free grammar.
	en.wikipedia.org /wiki/Prolog (3102 words)

	Visual Prolog: Products, Compiler, Download Free Personal Edition
		Prolog Development Center is glad to announce Visual Prolog 7.0, Build 7002 released on August 25, 2006.
		Today Visual Prolog is a very powerful and safe programming language combining the very best features of logical, functional and object-oriented programming paradigms in a consistent and elegant way.
		The current version of Visual Prolog is Visual Prolog 7.0, Build 7002 released on August 25, 2006.
	www.visual-prolog.com (549 words)

	Prolog Programming
		Prolog actually originated from attempts to use logic to express grammar rules and to formalize the process of parsing.
		Prolog was brought to prominence in the 1980's through Borland's Turbo-Prolog implementation (which has since reverted to it's developer, Prolog Development Center).
		No Prolog vendor/provider can guarantee that his system will continue to be supported forever, or that it will be able to take advantage of future processing devices, or that it will be conveniently ported to other platforms, or anything like that.
	www.softpanorama.org /Lang/prolog.shtml (5642 words)

	XML.com: An Introduction to Prolog and RDF
		Prolog was the first logic programming language, and it's still popular in industry and in the classroom.
		Prolog searched the knowledge base and found that if X was bound to 'XML.com' we get a "true" statement (i.e., one in the knowledge base).
		Furthermore, Prolog's roots in symbolic processing and language manipulation support a wide array of mechanisms for building expressive notations and languages for knowledge management, which serve well for hiding the less friendly aspects of RDF.
	www.xml.com /pub/a/2001/04/25/prologrdf/index.html (1959 words)

	PC AI - Prolog Programming Language
		The difference between Prolog and other languages is that a Prolog program tells the computer what to do (a technique called declarative programming) while programs in other languages tell the computer how to do it (procedural programming).
		Prolog does this by making deductions and derivations from facts and rules stored in a database.
		Prolog was originally designed for non-numeric information processing, but contemporary Prologs typically feature mathematical extensions.
	www.pcai.com /web/ai_info/pcai_prolog.html (1208 words)

	Free Prolog Compilers and Interpreters (thefreecountry.com)
		Ciao Prolog is a GNU GPL Prolog system that supports ISO Prolog as well as various extensions, such as programming with functions, objects, threads, etc. It comes with libraries that support WWW programming, sockets, interfaces to other languages (eg C, Java, TclTk, relational databases), etc. The compiler allows you to generate architecture-independent and standalone executables.
		From their website: Kernel Prolog is "a lightweight Java based Prolog interpreter with an innovative system of built-ins based on Fluents, a Prolog extension providing reflection and smooth interoperation with external objects." It is released under the GNU GPL, so source code is available.
		This Prolog compiler complies with the ISO standard for Prolog (with useful extensions like global variables, ability to interface with the operating system, etc) and produces a native binary that can be run standalone.
	www.thefreecountry.com /compilers/prolog.shtml (995 words)

	Cetus Links: 18,452 Links on Objects and Components / Prolog
		Prolog is a goal-oriented, implicative language based on predicate logic.
		Prolog operates in an inferential or implicative way: What you write are implications, and operation flows from one impliction to the next implied goal.
		Prolog code often has a declarative interpretation, meaning that it specifies "what" exists but not "how." This is different from imperative in which a program defines a series of steps to carry out (C or Basic for example).
	www.cetus-links.org /oo_prolog.html (2177 words)

	Prolog (Site not responding. Last check: 2007-09-11)
		Prolog is a rule-based language developed for artificial intelligence applications.
		A Prolog implementation for DOS and Windows which is a subset of Amzi's commercial offering.
		A Prolog interpreter written in Java to allow easy integration between the two languages.
	burks.brighton.ac.uk /burks/language/prolog/index.htm (187 words)

	Frequently Asked Questions - comp.lang.prolog
		Arity/Prolog32 is a complete compiler and interpreter written in Prolog, C, and Assembly language and is a superset of Clocksin and Mellish Prolog.
		Info: Java Internet Prolog is a cross-platform pure Java 100% prolog interpreter that supplies Java world with the power of prolog language and provides prolog language with a technology to implement new predicates in Java.
		PDC Prolog is the succesor to Turbo Prolog and the predecessor to Visual Prolog.
	www.cs.kuleuven.ac.be /~remko/prolog/faq/files/faq.html (1703 words)

	The GNU Prolog compiler (Site not responding. Last check: 2007-09-11)
		One of the main advantages of GNU Prolog is its ability to produce stand alone executables.
		Native-code compilation: a Prolog source is compiled in several stages to produce an object file that is linked to the GNU Prolog libraries to produce an executable.
		By default the Prolog to WAM compiler fully optimizes the allocation of registers to decrease both the number of instruction produced and the number of used registers.
	gnu-prolog.inria.fr /manual/manual008.html (2304 words)

	comp.lang.prolog Frequently Asked Questions
		To cut down on unnecessary postings to comp.lang.prolog, whenever I see a question there that is answered by the FAQ list, I (Jamie) try to respond to the questioner by e-mail, quoting the relevant section of this list.
		Prolog seems to be good for problems in which logic is intimately involved, or whose solutions have a succinct logical characterization.
		If it's an introductory Prolog course, your question might be elementary to most readers, so it might be a waste of network resources to ask it.
	www.faqs.org /faqs/prolog/faq (1829 words)

	What is Prolog? - A Word Definition From the Webopedia Computer Dictionary
		Prolog is sometimes called a declarative language or a rule-based language because its programs consist of a list of facts and rules.
		Prolog is used widely for artificial intelligence applications, particularly expert systems.
		The PC AI Prolog Programming Language site is an extremely comprehensive site which includes a history of Prolog, numerous links to vendors, articles, references, and other informative sites on the Internet.
	www.webopedia.com /TERM/P/Prolog.html (246 words)

	GNU Prolog - a Prolog Compiler (Site not responding. Last check: 2007-09-11)
		GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
		GNU Prolog accepts a Prolog+constraint program and produces a native binary (like gcc does from a C source).
		The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...).
	www.gnu.org /software/gprolog (256 words)

	W-Prolog
		Paul Tarau and Bart Demoen have written a Prolog interpreter in Java.
		Their interpreter compiles Prolog (and is faster!) but doesn't have a GUI.
		It's release was followed by the release of Demoen and Tarau's compiler (which, in fact, was compiling and running Prolog code in August 1996).
	goanna.cs.rmit.edu.au /~winikoff/wp (1098 words)

	Prolog AI blog of artificial intelligence evolving from Seed AI to Singularity AI
		This weblog invites Prolog programmers to implement the main Alife Mind loop of the simplest artificial intelligence.
		There is no need to standardize or homogenize the evolution of the AI Minds in Prolog or any other language.
		Let there be a wide diversity and diaspora of the evolving Minds in a classic scenario of the survival of the fittest.
	mind.sourceforge.net /prolog.html (149 words)

	XML.com: RDF Applications with Prolog
		SWI-Prolog is a fast, robust, and free open-source Prolog system with great support for XML and RDF.
		In Prolog lingo, to load a file that contains a knowledge base/list-of-definitions is to consult it.
		Prolog predicates are distinguished by name and arity (i.e., number of permissible arguments).
	www.xml.com /pub/a/2001/07/25/prologrdf.html (495 words)

	The GNU Prolog web site (Site not responding. Last check: 2007-09-11)
		It first compiles a Prolog program to a WAM file which is then translated to a low-level machine independent language called mini-assembly specifically designed for GNU Prolog.
		The key feature of the GNU Prolog solver is the use of a single (low-level) primitive to define all (high-level) FD constraints.
		GNU Prolog is based on the same idea but extends the power of primitive to make it possible more complex constraint definitions.
	pauillac.inria.fr /~diaz/gnu-prolog (1064 words)

	PenTeleData : Services
		ProLog is a convenient, low-cost, residential Internet access service that gives you the right connections to the world's largest computer network: the Internet.
		ProLog, founded in 1994, is a service of PenTeleData, a limited partnership of Pennsylvania and New Jersey cable television and telephone companies pooling resources to offer the latest technologies in the communications industry.
		ProLog Unleashed is FREE to all ProLog Express customers and is available in locations across Pennsylvania and New Jersey.
	www.ptd.net /services (582 words)

	Open Directory - Computers: Programming: Languages: Prolog
		An introduction to Prolog - A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
		Prolog for Artificial Intelligence - Open Source AI projects in Prolog.
		Prolog Parsers - A study of the efficiency of various parsing techniches in Prolog, e.g.
	dmoz.org /Computers/Programming/Languages/Prolog (519 words)

	Strawberry Prolog (Site not responding. Last check: 2007-09-11)
		Strawberry Prolog is part from the AI project.
		If you want to make a program which operates with HTML forms then it is a good idea to look at this example.
		If you like to see more complicated and more amusing Prolog CGI Scripts then visit our Game Room and play our games written in Strawberry Prolog.
	www.dobrev.com /index_old.html (1274 words)

	Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert Systems in Prolog, Freeware, Articles, Source Code, ...
		If you are new to intelligent Web applications with Prolog, Java and Tomcat, learn how to build one step-by-step by reading Thomas Steiner's article Introduction to Intelligent Web Services with Java/Tomcat.
		Prolog in PC AI Magazine's AI at Work feature "Practical Application of Prolog to eBusiness: A Racing Case Study"
		There is one known bug in Eclipse, when debugging interpreted Prolog code, you need to click on the '+' to expand the 'Prolog Debug Thread' to open the editor at the currently executing line.
	www.amzi.com (720 words)

	Jonathan J Cook's Homepage
		Jonathan J. Cook, P#: A concurrent Prolog for the.NET Framework [pdf] This is a preprint of an article published in Software: Practice and Experience 34(9):815-845.
		P# is a Prolog implementation which translates Prolog to C# source code.
		This allows interoperation between Prolog and C#, and in particular allows you to combine Prolog back-ends with C# front-ends.
	homepages.inf.ed.ac.uk /jcook (514 words)

Try your search on: Qwika (all wikis)