81. Prolog - Wikipedia, The Free Encyclopedia prolog is a logic programming language. The name prolog is taken from Some predicates are built into the language, and allow a prolog program to perform http://en.wikipedia.org/wiki/Prolog

Prolog From Wikipedia, the free encyclopedia. Prolog is a logic programming language. The name Prolog is taken from programmation en logique French for "logic programming"). It was created by Alain Colmerauer and Robert Kowalski around . It was an attempt to make a programming language that enabled the expression of logic instead of carefully specified instructions on the computer . In some ways Prolog is a subset of Planner , e.g., see Kowalski's early history of logic programming. The ideas in Planner were later further developed in the Scientific Community Metaphor Prolog is used in many artificial intelligence programs and in computational linguistics (especially natural language processing , which it was originally designed for). Its syntax and semantics are considered very simple and clear. (The original goal was to provide a tool for computer-illiterate linguists.) A lot of the research leading up to modern implementations of Prolog came from spin-off effects caused by the fifth generation computer systems project (FGCS) which chose to use a variant of Prolog named Kernel Language for their operating system (but this area of research is now actually almost mortified).

82. Actor Prolog. An Example Of Web Agent Report. The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and prolog. All the information was collected by Actor prolog agents. http://www.cplire.ru/Lab144/space/prolog.html

Sorry, your browser doesn't support frames. Press this button , please:

83. Build A Program Immediately From Data Processing Examples Build a program immediately from data processing examples AI language, simpler than prolog, based on generalization and matching of unconstrained text processing samples. http://sampletalk.8m.com/

Build a program immediately from data processing examples Sampletalk Data processing example abstraction immediately becomes a useful program if text matching is in focus A. Gleibman andrew AT sampletalk . com New: A brief presentation of the “Alternative Programming” project at the AAAI-05 Workshop on Inference for Textual Question Answering: http://www.sampletalk.8m.com/AAAI05tlk.pps The detailed presentation of this project at the workshop: http://www.hlt.utdallas.edu/workshop2005/papers/WS505GleibmanA.pdf The workshop site: http://www.hlt.utdallas.edu/workshop2005/ Introduction Descri p ... and technology Program Examples: Natura l l a ... Perspectives for the Future Introduction This is a description of the AI language Sampletalk and of the corresponding programming technology. Using Sampletalk, you can transform a set of sample texts into a working program, which employs regularities , contained in the texts, and behaves with other texts according to so developed understanding of your texts. The sample texts are unrestricted and may contain natural-language descriptions of data, linguistic rules, biological code sequences, rules for combining data, symbolic math expressions, complex data examples in text format etc. The running of a Sampletalk program resembles the matching of objects in a human brain. The program elements (samples) and the data being processed should have some similarities, which are employed for driving the process.

84. Owain F Carter : Programming Languages As Cars 183 Humorous analogies between cars and Assembly, Fortran II/IV/77, COBOL, BASIC, PL/1, C, Algol 60/68, Pascal, Modula2, LISP, prolog/Lucid, Maple/MACSYMA, Forth, Logo, APL, Ada. Inspired by Fun with Computer Languages. http://homepages.tesco.net/~scotsnet/o.f.carter/fun/fun183.htm

Owain F Carter Programming Languages as Cars Humour TOP HOME

85. What Are Logic Programming And Prolog? Clear explanation of logic programming, and merits of declarative languages. http://www.biocheminfo.org/moirai/cs_magenta/prolog.html

What are Logic Programming and Prolog? Overview There are many ways of organizing computations. Perhaps the most familiar paradigm is procedural : the program specifies a computation by saying how it is to be performed. FORTRAN, C, and even object-oriented languages fall under this general approach. Another paradigm is declarative The Merits of Declarative Languages The use of declarative languages offers three important advantages. Logic programming languages are inherently ``high-level'' because they focus on the computation's logic and not on its mechanics (which in fact are inaccessible to the programmer). The result is that they are well-suited to expressing complex ideas because the drudgery of memory management, stack pointers, etc., is left to the computational engine. Since the engine incorporates logical inferencing, it is already a powerful tool which can be exploited in developing inference engines specific to a particular universe of discourse (sometimes also called a domain ). For

86. FAQ: Prolog Implementations 2/2 [Monthly Posting] Top/Computers/programming/Languages/prolog http://www-2.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html

Introduction [2-0] General information about Prolog Implementations [2-1] Free Prolog Implementations [2-2] Commercial Prolog Implementations Introduction [2-0] General information about Prolog Implementations [2-1] Free Prolog Implementations [2-2] Commercial Prolog Implementations ... [2-10] Prolog extensions, meta-interpreters, and pre-processors

87. XSB A researchoriented Logic programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of prolog and offering among other things evaluation through full SLG resolution. http://xsb.sourceforge.net/

Home Research XSB System Contact Us Welcome to the home of XSB! XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at the Computer Science Department of the Stony Brook University , in collaboration with Katholieke Universiteit Leuven Universidade Nova de Lisboa Uppsala Universitet and XSB, Inc XSB is kindly hosted by Sourceforge . You can directly access the following resources from here: Project Summary XSB Released software CVS repository Mailing Lists ... Bug tracking If you are new to XSB, please read the XSB Technical Summary for an overview of its main features. Latest Release XSB Version 2.7.1 was released on March 5, 2005. See the release notes here You can browse Volume 1 and Volume 2 of the XSB Programmers' Manual online, or download them in the following formats: Compressed Postscript: Volume 1 and Volume 2 PDF: Volume 1 and Volume 2 Other Documentation: Package Documentation: The xsbdoc Documentation Generator. Postscript PDF Package Documentation: XASP: Answer Set Programming with XSB. Postscript PDF Related Projects These are related projects that use and are distributed with XSB.

88. Untitled Document Draft of a paper in History of programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF. http://www.lif-sud.univ-mrs.fr/~colmer/texte.html#early

Research Full first order constraints jfplc00.pdf jfplc00.ps.zip Expressiveness of full first order constraints in the algebra of finite or infinite trees, with Dao Thi-Bich-Hanh, submitted to, CP2000, Singapore september 2000. Abstract. We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relational symbol and functional symbols taken from an infinite set F . The chosen domain is the set of trees whose nodes, in possibly infinite number, are labeled by elements of F . The operation linked to each element f of F is the mapping ( a a b , where b is the tree whose initial node is labeled f and whose sequence of daughters is a a n. We first consider constraints involving long alternated sequences of quantifiers EAEA... . We show how to express winning positions of two-partners games with such constraints and apply our results to two examples. We then construct a family of strongly expressive constraints, inspired by a constructive proof of a complexity result by Pawel Mielniczuk. This family involves the huge number alpha( k ), obtained by evaluating top down a power tower of 2's, of height

89. The Starlog Project At The University Of Waikato Declarative temporal logic programming language for general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components a set of timed facts, a set of temporal logic rules. Somewhat like prolog. http://www.cs.waikato.ac.nz/Research/starlog/index.html

A new Logic Programming Language The Starlog Project What is Starlog? Motivation Starlog Concepts Examples ... Department Home What is Starlog? Starlog is a pure-logic programming language designed to overcome some of the problems inherient in traditional approaches to logic programming. As a result, Starlog is designed to be a general purpose programming language, and is particularly useful for simulation, and for modelling reactive systems. Although most logic programming languages (e.g. Prolog) are query driven (i.e. are evaluated "top-down"), Starlog programs are evaluated "bottom-up". That is, as a Starlog program executes, it builds a model of all the true facts that can be derived from rules in the program. The evaluation of Starlog programs is controlled using a stratification order. Motivation Traditionally, logic programming languages have never been able to compete with the popularity of other language paradigms. We attribute this to: Most implementations of logic programs being less efficient at run time than equivalent programs from other language paradigms. The introduction of extra-logical operators that improve efficiency often break the declarative semantics of logic programs.

90. The PiLLoW Pages programming in Logic Languages on the Web (PiLLoW) is a publicdomain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao prolog development system. http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html

The P i LL o W Pages P rogramming i n (Constraint) L ogic L anguages o n the W eb Providing full WWW connectivity for LP and CLP systems Welcome to the PiLLoW package home page. This package is a public domain HTML/XML/HTTP conectivity package for Logic Programming and Constraint Programming systems. This package is provided under the GNU Library General Public License Downloading: The package has been developed in the context of the Ciao Prolog system and it comes as part of this system's libraries, i.e., to use PiLLoW within Ciao you only need to load the appropriate library. However, PiLLoW is also available for a number of other popular LP/CLP systems, see the links below for downloading. Support: The PiLLoW/Ciao developers can be reached at ciao@clip.dia.fi.upm.es Bugs should be reported to ciao-bug@clip.dia.fi.upm.es . Specific professional support and maintenance services are available. Please contact clip@dia.fi.upm.es for details. Subscribing to the PiLLoW/Ciao mailing list: If you download PiLLoW, we highly recommended that you subscribe to the ciao-users@clip.dia.fi.upm.es

91.    BinNet Corporation - Java And Prolog Software For Internet Programming C/C++ and Java based prolog Compilers and prolog based Internet programming tools. http://www.binnetcorp.com

BinNet is a Texas based innovative software development company specializing in Java and Prolog based Internet Programming, Intelligent Mobile Agent building tools, distributed AI and networked knowledge processing components. The BinNet Website can be better viewed with a frame capable browser If you do not have such a browser go to the menu of BinNet Corp to proceed with a non-frame environment.

92. Products WINprolog, DOS-prolog, Macprolog32 compilers. Products range from prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. Commercial http://www.lpa.co.uk/ind_pro.htm

Products Our products comprise a suite of smart software tools both for the Windows desktop and the World Wide Web, as well as legacy tools for the Mac, and 32-bit and 16-bit DOS. To find out more, please select from the following options: Prolog Language Compilers Expert Systems Development Interfaces and Toolkits World Wide Web Solutions ... Data Analysis Products Alternatively, if you know the name of the product that interests you, please click on one of the following links to jump right in: WIN-PROLOG DOS-PROLOG flex Flint ... Data Mining Toolkit

93. Actor Prolog. Programming Language Definition. The summary for this English page contains characters that cannot be correctly displayed in this language/character set. http://www.cplire.ru/Lab144/

Welcome to the world of Actor Prolog! New! Please, visit my photo-report on the International Conference on Logic Programming (Mumbai, India Please, visit our photo-report on Artificial Intelligence international conference (Divnomorskoe, Russia First of all please read Getting Started in Actor Prolog . This document explains the main ideas of Actor Prolog and gives general information on the application of the results of the project. The document is available in English and Russian now. Then, read English research papers that are available in PDF and HTML format. Then, you could study a complete definition of the Actor Prolog language, if you understand Russian . Here you could also subscribe to Russian mailing list on Logic Programming and find a complete list of recommended Russian and English papers concerning the project. The Site supports the following Russian codings: Alt (OS/2, MS DOS) KOI8 (UNIX) , and 1251 (Windows) Then, if you are tired of reading papers, you could see a nice pictures created with the help of Actor Prolog . Please visit our logic programming 3D cyberspace . These Web pages are created on the base of VRML . Please read how to prepare your Web browser to review of VRML worlds in the introduction.

94. 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. http://www.arity.com/www.pl/products/ap.htm

95. Getting Started In Actor Prolog. Component-Oriented Programming. Actor prolog supports visual componentoriented programming. The SADT diagram will be translated into an Actor prolog program that uses given components http://www.cplire.ru/Lab144/start/e_comp.html

Component-Oriented Programming The idea of component-oriented programming is that in the course of implementation of various software projects a programmer (or a programmers team) accumulates a library of reused software fragments that are used in different projects. The reused fragments of the programs are called components and programming with the use of these components is called component-oriented programming. Creation and supporting in operational status of a component library requires certain additional efforts but as a result leads to significant economy of time and funds at creation of new programs. In the course of development of Internet agents the support of component-oriented programming is especially important because the manner of access to some Web resources changes from time to time; and one need rapidly modify all the programs that use these resources. For instance, at every regular change of the user interface of a public retrieval system one should remember what agents use it and make correspondent modifications in these programs. To solve such problems there are some special syntax means in Actor Prolog that support component-oriented programming. These means are so-called packages and automatic connection of components from the SADT diagrams.

96. Visual Prolog 6: Products, Compiler, Download Free Personal Edition A fullfeatured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available. http://www.visual-prolog.com/

var toRoot=""; Navigation without JavaScript Site Map What's New? Visual Prolog 6.3 Build 6300 Read about new features Top Reasons to Upgrade to Visual Prolog 6.3. Order the Commercial Edition. Upgrade from previous versions Download the Personal Edition (will be available soon) Visual Prolog 7.0 Alpha is supplied together with Visual Prolog 6.3 Read about new features Try Visual Prolog 7.0 alpha Generics example New and Updated Tutorials Visual Prolog 6.3 for Tyros Anchor Layout Manager ... Visual Prolog Migration Tool Read about new features Visual Prolog 6.2 Updates Download a fix for the bug 31891 More News » Visual Prolog 6.3 build 6300 ... Personal Edition Visual Prolog 6.3 Prolog Development Center is glad to announce Visual Prolog 6.3 Release. What is Visual Prolog? Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors.

97. IC-Prolog As part of Imperial College's Logic programming Group Software Products, this Edinburghstyle, WAM-based version provides multiple threading, an object-oriented layer, TCP interfacing and other features. http://www-lp.doc.ic.ac.uk/software.html

98. QuProlog Home The Software Verification Research Centre (Univ. of Queensland) extended version of prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higherorder programming and logic programming of interactive applications. http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html

Public ITEE All UQ IN THIS SECTION QUICK LINKS ITEE Public Web Student IT Help ITEE Internal Web Staff IT Help ... Print version Qu-Prolog Home Page Qu-Prolog is an extended Prolog designed primarily as a prototyping language and tactic language for interactive theorem provers. It is the implementation language for the Ergo theorem prover. Qu-Prolog provides support for symbolic computation on notations which appear in mathematics and in specification languages such as Z. Highlights include support for arbitrary quantifiers with parallel bindings and optional typing information, and support for higher-order notations such as function-valued expressions. The unification algorithm is correspondingly extended to support these features. 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. Distinctive features of Qu-Prolog include: a separate type of Prolog variable to represent object-level variables; support for quantified terms;

99. BinNet Corporation - Prolog Compiler - BinProlog BinNet Corporation offers a highperformance, robust prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components. http://www.binnetcorp.com/BinProlog/

BinNet is a Texas based innovative software development company specializing in Java and Prolog based Internet Programming, Intelligent Mobile Agent building tools, distributed AI and networked knowledge processing components. The BinNet Website can be better viewed with a frame capable browser If you do not have such a browser go to the menu of Binprolog to proceed with a non-frame environment.

100. Logtalk Links Links to Logtalk, prolog, and Objectoriented programming related resources. ISO/IEC 13211-1 - programming Language prolog Part I General Core http://www.logtalk.org/links.html

logtalk.org Links Links to Logtalk, Prolog, and Object-oriented Programming related resources. Logtalk on the web The Cuypers Multimedia Transformation Engine Freshmeat Logtalk page DarwinPorts Logtalk page ALP newsletter article on Logtalk Google Scholar Logtalk search Google Logtalk search (excluding the www.logtalk.org domain) AlltheWeb Logtalk search (excluding the www.logtalk.org domain) Yahoo Logtalk search MSN Logtalk search Ask Jeeves Logtalk search Prolog compilers Logtalk compatibility page comp.lang.prolog FAQ Prolog Standardization ISO/IEC 13211-1 - Programming Language Prolog Part I: General Core ISO/IEC 13211-2 - Programming Language Prolog Part II: Modules Validation test suite for ISO Standard conformance by Jonathan Hodgson Executable Specification for Standard Prolog by Pierre Deransat and AbdelAli Ed-Dbali INRIA ISO Prolog Web The Prolog Standardization Group Prolog on-line learning resources On-line Guide to Prolog Programming by Adventure in Prolog by Amzi! Inc. Uni Bamberg (in German) Prolog Tutorial by John Fisher Prolog Programming A First Course by Paul Brna Solving Combinatoric Problems With Prolog Prolog - a brief introduction Prolog programming resources The CodeCranker: Languages - Prolog Universal Grammar in Prolog Logic programming Association for Logic Programming The World Wide Web Virtual Library: Logic Programming Object-Oriented Logic Programming Cetus Links: Links on Objects and Components - Prolog Object-Oriented Logic Programming Resources Object-Oriented Programming Links on Objects and Components Home News Features ... Support Links

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 5     81-100 of 131    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20