Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Prolog programming language


Related Topics

In the News (Wed 9 Dec 09)

  
 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)

  
 Prolog programming language   (Site not responding. Last check: 2007-10-08)
Trinc-Prolog, an object oriented prolog for Windows Trinc-Prolog is a new development tool for the prolog language.
Arity/Prolog With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.
Logtalk An object-oriented extension to the Prolog programming language.
www.serebella.com /encyclopedia/article-Prolog_programming_language.html   (442 words)

  
 Computers: Programming: Languages: Prolog - Open Site
Even though parts of a procedural program may not execute in a linear sequence, the component subroutines and functions almost always are, unless interrupted by a program fault.
In reality, the programmer does influence the behavior of a Prolog program by the order that he or she writes the Horn clauses in, but the effect of that ordering is much less than in a procedural program.
Prolog programmers learn early to use recursion to break a problem into smaller pieces and pass those pieces down in recursive calls until a solution can be found.
open-site.org /Computers/Programming/Languages/Prolog   (747 words)

  
 Visual Prolog 6 Features: programming language, compiler, development environment, linker, debugger
Visual Prolog 6 is the newest generation of the Visual Prolog logical programming language that might be used for creating industrial strength applications for the Microsoft Windows 32 platform.
It is a strongly typed object oriented programming language based on the Prolog programming language.
The Visual Prolog compiler is a successor of the Turbo Prolog compiler created in 1980s that was the first Prolog compiler.
www.visual-prolog.com /vip6   (531 words)

  
 A goal directed programming language: Prolog
Prolog is a programming language built on the idea of sets of facts and rules for determining facts rather than on the idea of a sequence of executable commands.
It is derived from a form of mathematical logic and an associated notion of automatic proof so the Prolog program is analogous to a set of logical sentences and the behaviour of the interpreter when attempting to determine a fact (given as a goal) is analogous to an automatic proof of a given theorem.
Programs are collections of simple facts asserting that certain simple relationships hold between data values and rules which describe the circumstances in which relations can be inferred as holding.
homepages.feis.herts.ac.uk /~msc_fl/fl-node41.html   (230 words)

  
 Skattabrain: Programming in Prolog : Using the ISO Standard   (Site not responding. Last check: 2007-10-08)
Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence.
Programming in prolog is an excellent book, good reference about the core of prolog and its Edinburgh implementation.
Lambda-Prolog, a logic programming language defined by Miller, is an...
www.skattabrain.com /css-books-plain/3540006788.html   (1051 words)

  
 Introduction to Prolog
Prolog's name is short for ``Programming in Logic'' (or really for Programmation Logique?'') As its name suggests, Prolog is firmly based on logic, and Prolog programs can be understood as statements in a formal logic.
I.e., a Prolog program can be thought of as a set of statements in first-order logic, and the meaning of the program is the set of true implications of those logical statements.
This is referred to in the biz by saying that Prolog programs have a procedural interpretation (i.e., as programs) as well as a declarative interpretation (i.e., as statements in a logic.) The introduction to Prolog that I give here will emphasize its procedurality.
www.cs.sunysb.edu /~warren/xsbbook/node3.html   (330 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   (986 words)

  
 Logic Programming and Prolog
Prolog [100] is the most popular logic programming language.
Prolog treats the program as a sequence of clauses and selects them in the order in which they are stored.
The semantics of Prolog are heavily based on the ordering adopted by the two selection functions--which is fundamental for the correct behaviour of the various extra-logical features of the language.
www.cs.nmsu.edu /~epontell/adventure/node9.html   (495 words)

  
 Prolog   (Site not responding. Last check: 2007-10-08)
Your program should then provide direction in terms of the halls that are to be taken, the stairs the are to be climbed or the elevator that is to be taken.
Your program should support a predicate that of the form directions(location1, location2, persontype), that creates a path to be followed to go from location1 to locaton2 for a person of the specified persontype.
In programming this system, you may use the monkeys and banana program discussed in class as an example, but your are free to program the system any way you want as long as it is in a Prolog that is supported in the CS department labs and uses a declarative approach.
www.cs.uah.edu /~thinke/Cs524/Spring99/prolog.html   (813 words)

  
 Prolog Programming
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).
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French.
is the descendant of Turbo Prolog and PDC Prolog languages.
www.softpanorama.org /Lang/prolog.shtml   (5208 words)

  
 What is Prolog? - A Word Definition From the Webopedia Computer Dictionary   (Site not responding. Last check: 2007-10-08)
Unlike traditional programming languages that are based on performing sequences of commands, Prolog is based on defining and then solving logical formulas.
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.
www.webopedia.com /TERM/P/Prolog.html   (260 words)

  
 Programming Languages Directory | PERL Programming Language
PERL (Practical Extraction and Report Language) is a relatively new language.
It is able to open and manipulate many files from within the same program, with ease.
Perl is starting to move towards it's C heritage by adding the ability to program using objects.
www.computerowl.com /perl.php   (263 words)

  
 Directory - Computers: Programming: Languages: Prolog   (Site not responding. Last check: 2007-10-08)
Prolog for Artificial Intelligence  · cached · Open Source AI projects in Prolog.
Prolog Parsers  · cached · A study of the efficiency of various parsing techniches in Prolog, e.g.
Early History of Prolog  · cached · Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM.
www.incywincy.com /default?p=6180   (499 words)

  
 Synetris : Programming : Languages : Prolog
This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming.
Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM.
www.synetris.com /index.php?c=Programming/Languages/Prolog   (333 words)

  
 Lolli: A Linear Logic Programming Language   (Site not responding. Last check: 2007-10-08)
Lolli is a logic programming language based on a fragment of linear logic.
Prolog was proposed and developed by Dale Miller and Gopalan Nadathur.
Prolog, however, it is based on the multiple-conclusion (classical) system rather than the intuitionistic one.
www.cse.psu.edu /~dale/lolli   (1643 words)

  
 CS210: Advanced Software Paradigms   (Site not responding. Last check: 2007-10-08)
Prolog provides two features not present in functional languages: built-in search and the ability to compute with partial information.
Contrast this with functional languages where computations always are directed, require all arguments to be known and give exactly one answer.
Prolog has a relatively simple syntax, but is a difficult language to learn.
www.seas.gwu.edu /~cs210/Prolog.htm   (138 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)

  
 Amazon.com: Books: Prolog Programming in Depth   (Site not responding. Last check: 2007-10-08)
Prolog Programming for Artificial Intelligence by Ivan Bratko
I wish I would have stumbled across it much earlier in my quest for prolog mastery, because it would have saved me at least 18 months of struggling to learn prolog tools and techniques--techniques which were not only scattered among dozens of books, but were not nearly as clearly described.
Even though freeware prologs exist on the internet, the appeal of this "practical" book would be greatly increased if the authors arranged to have a CD of some freeware prologs included with the text.
www.amazon.com /exec/obidos/tg/detail/-/013138645X?v=glance   (1273 words)

  
 Products: Visual Prolog (programming language, compiler, development environment, debugger)
Owners of Visual Prolog 6.2 Commercial Edition license are welcome to order Visual Prolog 6.3 with a discount (50%, or depending on a number of licenses).
The Migration Tool is an assistant for migrating a Visual Prolog 5.x project into Visual Prolog 6.x projects.
Visual Prolog 5.2 has been superseded by Visual Prolog 6.2, but we will continue to provide Visual Prolog 5.2 Professional for a period mainly to support existing users with additional licenses.
www.visual-prolog.com /vip6/product   (312 words)

  
 Dmoz links Programming Languages Prolog   (Site not responding. Last check: 2007-10-08)
An introduction to Prolog - A short introduction to Prolog by Loiseleur Michel and Vigier Nicolas.
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.
programming.intrebare.ro /ProgrammingLanguagesProlog.html   (433 words)

  
 Download Visual Prolog: programming language, prolog compiler, development environment, linker
Prolog Development Center offers you an opportunity to learn Visual Prolog by using a free Personal Edition.
Visual Prolog 5.2 is no longer supplied as a Personal Edition, but you can still purchase the Commercial Edition.
The Migration Tool is an assistant for migrating Visual Prolog 5.x projects into Visual Prolog 6.x.
www.visual-prolog.com /vip6/Download   (240 words)

  
 Introduction to Prolog   (Site not responding. Last check: 2007-10-08)
The Prolog language is unlike the imperative languages that you are used to.
Prolog works by querying a database of facts and rules.
This includes I/O. Advanced Techniques of Prolog It is not necessary to use these techniques in your programs although they will run better if you do.
www.sju.edu /~jhodgson/ugai/prolog.html   (203 words)

  
 Machine Learning and Natural Language Processing Lab   (Site not responding. Last check: 2007-10-08)
Prolog is probably the most popular language for programming artificial intelligence applications.
Hence, programming simply takes the form of declaring axioms in first order logic.
Executing Prolog programs is then based on theorem proving.
www.informatik.uni-freiburg.de /~ml/teaching/ws01/prolog_en.html   (144 words)

  
 prolog programming languages programming technology uk
Prolog Development · Tutorials & FAQs · External Prolog is a rule-based language developed for artificial intelligence applications.
interoperation between a concurrent superset of the Prolog programming language and C#.
This enables Prolog to be used as a native implementation languageplatform.
www.v8go.co.uk /technology/programming/programming-languages/prolog.asp   (236 words)

  
 PC AI - Prolog Programming Language
Overview: Prolog (PROgramming in LOGic) was created by Colmerauer and his colleagues at the University of Marseilles in the 70s.
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.
www.pcai.com /web/ai_info/pcai_prolog.html   (1208 words)

  
 LookSmart - Prolog Programming Resources   (Site not responding. Last check: 2007-10-08)
Prolog book is aimed at programmers who wish to add it as a tool for games programming.
GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD).
Provides advanced AI programming and a Prolog compiler with the familiar Mac interface.
looksmart.com /eus1/eus53832/eus155852/eus53906/eus65714/eus280256/r?l   (208 words)

  
 Prolog Learning Resources: prolog, prolog tutorial, swi prolog, visual prolog, prolog example, prolog download, prolog ...   (Site not responding. Last check: 2007-10-08)
Prolog is a computer language that helps us program logically, the way we think.
Prolog has a built-in inference engine so prolog can infer things that are not directly stated as facts.
Prolog is said to be specially suited for developing artificial intelligence.
www.magicseyer.com /prolog_links.htm   (188 words)

  
 Amazon.co.uk: Books: Prolog Programming for Artificial Intelligence, 3rd Ed.   (Site not responding. Last check: 2007-10-08)
Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool.
Prolog Programming for Artificial IntelligenceThird editionIvan BratkoThe third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics.
Prolog programs for use in projects and research are available for download on the World Wide Web.
www.amazon.co.uk /exec/obidos/ASIN/0201403757   (925 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.