|
| |
| | 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 has a built in mechanism for parsing context-free grammar. | | | In the Prolog environment, a variable is not a container that can be assigned to (unlike imperative programming languages). |
|
http://en.wikipedia.org/wiki/Prolog
(2837 words)
|
|
| |
| | Prolog Programming Language |
| | Prolog is a rich collection of data structures in the language and human reasoning, and a powerful notation for encoding end-user applications. | | | Prolog represents a fundamentally new approach to computing and became a serious competitor to LISP. | | | Prolog is the highest level general-purpose language widely used today. |
|
http://www.engin.umd.umich.edu/CIS/course.des/cis400/prolog/prolog.html
(355 words)
|
|
| |
| | Prolog Tutorial |
| | Prolog is a declarative language meaning that rather than describing how to compute a solution, a program consists of a data base of facts and logical relationships (rules) which describe the relationships which hold for the given application. | | | Prolog is used in artificial intelligence applications such as natural language interfaces, automated reasoning systems and expert systems. | | | The difference between Prolog and a Relational DBMS is that the in Prolog the relations are stored in main memory along with the program whereas in a Relational DBMS the relations are stored in files and the program extracts the information from the files. |
|
http://cs.wwc.edu/~cs_dept/KU/PR/Prolog.html
(5803 words)
|
|
| |
| | Strawberry Prolog |
| | Strawberry Prolog is part from the AI project. | | | Prolog is a high-level language and employing it you describe the nature of your problem but not the way to its solution. | | | Prolog is a language of a higher level. |
|
http://www.dobrev.com
(1319 words)
|
|
| |
| | The Prolog Dictionary |
| | Tracing the execution of a Prolog query allows you to see all of the goals that are executed as part of the query, in sequence, along with whether or not they succeed. | | | Prolog tries to satisfy the goals, and if it manages to do this, the query is said to succeed. | | | A good source of examples of Prolog commenting is example code made available in class, such as this one. |
|
http://www.cse.unsw.edu.au/~billw/prologdict.html
(5010 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. |
|
http://www.xml.com/pub/a/2001/04/25/prologrdf
(1923 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 was originally designed for non-numeric information processing, but contemporary Prologs typically feature mathematical extensions. | | | Version 1.1 for SICStus Prolog and QUINTUS Prolog for a UNIX system. |
|
http://www.pcai.com/web/ai_info/pcai_prolog.html
(1208 words)
|
|
| |
| | The World Wide Web Virtual Library: Logic Programming |
| | Prolog is the most generally used logic programming language. | | | Prolog and Logic Programming course at the University of Birmingham School of Computer Science. | | | Sources for Prolog and other related logic programming systems including constraint and parallel Prolog system implementations are available. |
|
http://www.afm.sbu.ac.uk/logic-prog
(1454 words)
|
|
| |
| | Cetus Links: 18,452 Links on Objects and Components / Prolog |
| | Prolog is a goal-oriented, implicative language based on predicate logic. | | | 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). | | | Prolog Programming in Depth (Covington, Nute, and Vellino) |
|
http://www.cetus-links.org/oo_prolog.html
(2177 words)
|
|
| |
| | Visual Prolog: Products, Compiler, Download Free Personal Edition |
| | Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors. | | | 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 goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems. |
|
http://www.visual-prolog.com
(531 words)
|
|
| |
| | perl.com: Logic Programming with Perl and Prolog |
| | Prolog is a logic programming language often used in AI work, based upon predicate calculus and first developed in 1972. | | | In this case, the rules are defined in a Prolog file (an interesting intersection here is that both Perl and Prolog typically use the suffix.pl), while the genealogical information is contained in a Dot file readable by Graphviz. | | | The ability to hand the object constructor a filehandle is not currently supported, but would indeed be a nice improvement. |
|
http://www.perl.com/pub/a/2005/12/15/perl_prolog.html
(790 words)
|
|
| |
| | Technorati Tag: prolog |
| | Prolog Manager Project Management Solution Technologies, Inc. is an authorized dealer for Prolog Manager project management software by Meridian Project Systems. | | | Amzi Prolog and Logic Server Create logicbases for business rules, regulations, workflow, problem solving, configuration in Java/Servlets, NET, C++, VB, C#, Delphi and more with Amzi. | | | An Introduction to Language Processing with Perl and Prolog Klingt interessant: »This book teaches the principles of natural language processing... |
|
http://technorati.com/tag/prolog
(477 words)
|
|
| |
| | Visual Prolog: Facts and details from Encyclopedia Topic |
| | In computer science, a datatype (often simply type) is a name or label for a set of values and some operations which can be performed on that set of values.... | | | Logic programming is a declarative programming paradigm in which a set of attributes that a solution should have are specified rather than set of steps to obtain... | | | Visual Prolog is a strongly-typed object-oriented extension of Prolog Prolog quick summary: |
|
http://www.absoluteastronomy.com/encyclopedia/v/vi/visual_prolog.htm
(288 words)
|
|
| |
| | Prolog - Wikibooks, collection of open-content textbooks |
| | The book continues with some more in-depth features of the language, under programming, features that are necessary to prolog programming, but aren't part of the basic structure of prolog. | | | For those new to the subject, a short introduction to logic is given, but this is not required reading. | | | This book can serve as a textbook or tutorial for anyone who wants to learn the prolog programming language. |
|
http://en.wikibooks.org/wiki/Programming:Prolog
(275 words)
|
|
| |
| | YAP Prolog |
| | Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. | | | The assembly code was used to implement the WAM emulators. | | | The new version of YAP extends these principles to accomodate extensions to the unification algorithm, that we believe will be useful to implement extensions such as constraint programming. |
|
http://www.ncc.up.pt/~vsc/Yap
(398 words)
|
|
| |
| | Open Directory - Computers: Programming: Languages: Prolog |
| | Prolog for Artificial Intelligence - Open Source AI projects in Prolog. | | | Prolog Help/References - Reference for beginner logic programmers in Prolog. | | | Prolog for Beginners - A comparison of several Prolog systems from a beginners perspective |
|
http://dmoz.org/Computers/Programming/Languages/Prolog
(519 words)
|
|
| |
| | The Object Oriented Programming Web - Prolog Directory |
| | It presents the various features used in expert systems, shows how to implement them in Prolog, and how to use them to solve problems.The code presented in this book is a foundation from which many types of expert systems can be built. | | | At the end of the course, the students should have enough familiarity with Prolog to be able to pursue any undergraduate course which makes use of Prolog. | | | The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. |
|
http://www.oopweb.com/Prolog/Files/Prolog.html
(249 words)
|
|
| |
| | Free Prolog Compilers and Interpreters (thefreecountry.com) |
| | A Prolog compiler that may be used freely in a research and educational environment. | | | For a more advanced book, The Craft of Prolog (Logic Programming) is probably indispensable. | | | If you are looking for a beginner's book on Prolog, The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming) appears to be frequently recommended. |
|
http://www.thefreecountry.com/compilers/prolog.shtml
(992 words)
|
|
| |
| | Research in Natural Language Computing |
| | Projects in LISP and Prolog are discussed at the NLC Project. | | | We assume that the conceptual problems involved are answered by the theory of universal grammar of Noam Chomsky, and the technical problems are answered by non-procedural logical constraint-based languages like Prolog. | | | All can be downloaded and printed on a postscript printer to make an overhead transparency for projection to a class. |
|
http://www.nyu.edu/pages/linguistics/ling.html
(493 words)
|
|
| |
| | SEM242 Introduction |
| | This example is part of a program that is later used to demonstrate program design in Prolog. | | | Using this, it is possible to write simple and useful Prolog programs. | | | Some of the examples given in this section work but are not the most efficient method of implementation in practical Prolog, so some examples based on the use of accumulators are given. |
|
http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html
(477 words)
|
|
| |
| | comp.lang.prolog Frequently Asked Questions |
| | Logic programming languages, in general, are programming languages which incorporate some of the language of mathematical logic; unification and backtracking search are common operational features. | | | General information The newsgroup "comp.lang.prolog" discusses the language Prolog and other "logic programming" languages. | | | 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. |
|
http://www.faqs.org/faqs/prolog/faq
(1814 words)
|
|
| |
| | W-Prolog |
| | Used to compute kinship relationships at the center for social anthropology and computing at the University of Kent. | | | W-Prolog 1.0 was the first Prolog interpreter written in Java. | | | New version (1.2.1) fixes bug with the unification of a variable to itself. |
|
http://goanna.cs.rmit.edu.au/~winikoff/wp
(1098 words)
|
|
| |
| | Guide to Prolog Programming |
| | I intend it to be an introduction to logic programming and PROLOG for beginners but I also expect to cover some advanced topics. | | | Then visit my Web Site where some other Prolog programs are also available. | | | I opened this site as a contribution to evolving area of logic programming languages and PROLOG in particular. |
|
http://kti.mff.cuni.cz/~bartak/prolog
(418 words)
|
|
| |
| | Logic Programming Associates |
| | WIN-PROLOG is the leading Prolog system for Microsoft Windows, providing the best available programming environment for this established and powerful AI language. | | | VisiRule is a graphical tool for designing, developing and delivering business rule and decision support applications, simply by drawing a flowchart that represents the decision logic. | | | Chimera is an all-new Agent Engine, providing an easy-to-use, event-driven model for developing distributed, intelligent applications. |
|
http://www.lpa.co.uk
(129 words)
|
|
| |
| | The GNU Prolog web site |
| | GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). | | | The resulting file is then translated to the assembly language of the target machine (from which an object is obtained). | | | GNU Prolog is inspired by two systems developed by the same author: |
|
http://pauillac.inria.fr/~diaz/gnu-prolog
(1064 words)
|
|
| |
| | JIProlog - Java Internet Prolog |
| | JIProlog - Java Internet Prolog is a cross-platform pure Java 100% Prolog interpreter which integrates Prolog and Java languages in a very easy way. | | | The result is an API to manage DOM objects in Prolog. | | | The extension package jipxxml provides a set of Prolog predicates implementing a DOM-like API for parsing and creating XML documents. |
|
http://www.ugosweb.com/jiprolog
(763 words)
|
|
| |
| | Prolog Development Center - Planning and Scheduling Solutions |
| | In the future they will be based on speech recognition. | | | NEWS: Together with Tieto Enator PDC will deliver a solution for the Danish Parliament based on speech recognition. | | | Prolog Development Center - Planning and Scheduling Solutions |
|
http://www.pdc.dk
(214 words)
|
|
| |
| | techref - Prolog |
| | Ahsen Tahir Sheikh of AND OR logic asks: " Can i build fuzzy expert system in visual prolog, which is the best package for building a fuzzy expert system" | | | : Clocksin W.F. and Mellish C.S Programming in Prolog). | | | Turbo Prolog has DOS (text mode) user interface, but Visual Prolog has modern event-driven graphic user interface under Windows. |
|
http://techref.massmind.org/techref/language/prolog
(947 words)
|
|
| |
| | Turbo Prolog |
| | Today it is more advisable to use SWI or Quintus Prolog, given the memory and processing resources of todays computers and the fact that these Prolog variants are considered standard. | | | Turbo Prolog is a quite old Prolog system that only works with MS-DOS. | | | Download the Turbo Prolog (get password) development environment. |
|
http://www.fraber.de/university/prolog/tprolog.html
(109 words)
|
|
| |
| | Prolog Tutorial -- Contents |
| | 7.2 Prolog grammar for simple English phrase structures | | | 6.1 A note about logic and XSB Prolog |
|
http://www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
(32 words)
|
|
| |
| | Prolog definition of Prolog in computing dictionary - by the Free Online Dictionary, Thesaurus and Encyclopedia. |
| | Prolog definition of Prolog in computing dictionary - by the Free Online Dictionary, Thesaurus and Encyclopedia. | | | The following example, written in University of Edinburgh Prolog, converts Fahrenheit to Celsius: | | | This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. |
|
http://computing-dictionary.thefreedictionary.com/PROLOG
(147 words)
|
|
| |
| | QuProlog Home |
| | support for logic programming of interactive applications by enabling query processing to extend across multiple queries (implemented as variants of read and write that provide access to Prolog variables across multiple input and output events); | | | Qu-Prolog is multi-threaded and provided high-level communication between threads, processes and machines.Together, these features provide a simple, yet powerful mechanism for agent programming. | | | Qu-Prolog is an extended Prolog designed primarily as a prototyping language and tactic language for interactive theorem provers. |
|
http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
(571 words)
|
|
| |
| | Logic Programming |
| | Possible other sites we run but that are not related to logic programming that may interest you include chibineko and chemint. | | | This web page is devoted to the development of the use of logic programming and Prolog world-wide. | | | information on, and access to, the International Standards Organization Prolog standard. |
|
http://www.logic-programming.org
(103 words)
|
|
| |
| | SWI-Prolog 5.6.8 Reference Manual |
| | For this reason it stresses connectivity to the C-language, few system limits, comprehensive memory management, modules, multi-threading, coroutining, constraints and a fast and interactive development environment. | | | Its development has been guided from the very beginning by the desire to build large scale applications in Prolog. | | | SWI-Prolog started life in 1986 as a Prolog in the Edinburgh tradition. |
|
http://hcs.science.uva.nl/projects/SWI-Prolog/Manual
(242 words)
|
|
| |
| | Prolog Comparison |
| | This page receives visits about every 10 minutes, so keep the chat windows open during a while.. | | | A comparison of several popular Prolog systems from a beginners point of view. | | | I have set up this community because I am receiving a lot of questions concerning the use of Turbo Prolog as oposed to other Prolog dialects such as SWI, Sicstus etc. So I hope that the pages of this community will help you to get an idea what's going on with Prolog. |
|
http://www.fraber.de/university/prolog
(228 words)
|
|
| |
| | Construction Project Management Software by Meridian Systems |
| | New Document Storage and Distribution Capability Now Available To Prolog Software Users Integrated | | | Coakley and Williams Improves Communication and Business Efficiency with Prolog Software | | | Prolog Software Helps Costanza Builders Increase Revenue and Productivity |
|
http://www.meridiansystems.com
(287 words)
|
|
| |
| | Prolog - Marketing - Connect - Logistics |
| | Prolog Logistics is a uniquely flexible force in distribution and supply chain operations. | | | Its service include bulk storage, e-commerce and mail order fulfilment, lettershop, collations, database management, print on demand and creative… Everything the marketer or brand manager needs under one roof. | | | Prolog Logistics stands for total support with the personal touch, for clients who are not prepared to accept one-size fits all solutions. |
|
http://www.prolog.uk.com
(166 words)
|
|
|
