121. Getting Started The predicates can be added and tested separately in a prolog program, The following example illustrates a prolog program that prints a report of all http://www.amzi.com/AdventureInProlog/a1start.htm

Getting Started Prolog stands for PROgramming in LOGic. It was developed from a foundation of logical theorem proving and originally used for research in natural language processing. Although its popularity has sprung up mainly in the artificial intelligence (AI) community, where it has been used for applications such as expert systems, natural language, and intelligent databases, it is also useful for more conventional types of applications. It allows for more rapid development and prototyping than most languages because it is semantically close to the logical specification of a program. As such, it approaches the ideal of executable program specifications. Programming in Prolog is significantly different from conventional procedural programming and requires a readjustment in the way one thinks about programming. Logical relationships are asserted, and Prolog is used to determine whether or not certain statements are true, and if true, what variable bindings make them true. This leads to a very declarative style of programming. In fact, the term program does not accurately describe a Prolog collection of executable facts, rules and logical relationships, so you will often see term

122. Is The ISO Prolog Standard Taken Seriously? an ISO prolog program is not an Xprolog program;; an X-prolog program is not Similarly, a program written for ISO prolog can be interpreted by SICStus http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a

Home Personal Info Research Projects ... About Is the ISO Prolog standard taken seriously? Roberto Bagnara Dipartimento di Matematica Parco Area delle Scienze 53/A I-43100 Parma Italy In Short During the development of a CLP multi-language software tool I discovered that the ISO Prolog standard is essentially disregarded. This happens even for the most widespread and influential Prolog/CLP implementations, even in their most recent versions, and even if we look at syntax only. For instance, let us take X-Prolog to range over "SICStus Prolog 3.7.1", "SWI-Prolog 2.8.1", "BinProlog 5.75", "you name it". Then it appears that: an ISO Prolog program is not an X-Prolog program; an X-Prolog program is not an ISO Prolog program. It also seems that, even in most recent versions, choices have been made that will make future conformance to the standard very difficult, if not impossible at all. In other words, features that go openly against the standard are not even deprecated in the documentation of most systems. Users are thus encouraged to use these features. They will write code using them. Who will then dare to break backward compatibility? For these reasons, I think I can give an answer to the question in the title of this writing: no, generally speaking, the ISO Prolog standard is

123. Software - Prolog You will find the necessary programs and helpfiles on the SWI-prolog Site. In the left window the prolog-program family.pl is loaded, the right window http://www.bildung.hessen.de/abereich/inform/skii/material/swing/indexe.htm

124. Brain Aid Prolog Abstract prolog programs are built up of MODULES with external references made public by IMPORT The benchmarks are sequential prolog programs running on a single http://www.comnets.rwth-aachen.de/~ost/private.html

Brain Aid Prolog We released the latest BAP version for free . This is for use with an SunOS-4.x/ BBK-S4 frontend, but we supply the source of Xwio frontend server, so that it should be possible to use it on other systems, like Linux or FreeBSD, too. Please see the README for details. Pick it up here: bap-v1.4f.tar.gz An older demo version (limited to two nodes) for systems with MS-Windows frontend is available from ftp.cs.cmu.edu:/user/ai/lang/prolog/impl/parallel/bap/ Here you can read the online dokumentation of BAP. Have fun! If you have any questions, contact me Brain Aid Prolog Abstract This file is intended to give you a brief idea about BAP. Please see the TUTORIAL for details. System Components The BAP system consists of the following components: Low Level Message Router The router provides the connection between processes. Processes are identified by a unique ID, allowing messages to be sent to any processes at any time. The low level router works transparently and allows to see any kind of network as a 'pool of processes'. The actual topology may affect communication performance, but is in general hidden to the user (it is possible to place processes directly on certain processors). Operating System Responsible for memory management, loading and execution of applications and the process management.

125. SICStus Prolog - Running Prolog In Parallel The prolog program is stored in shared memory. During execution, the actual work is to explore a search tree implicitly defined by the prolog program. http://www.cs.arizona.edu/~collberg/Research/Sicstus/sicstus_6.html

Go to the first previous next last section, table of contents Running Prolog in Parallel This chapter describes what parallel Prolog execution is about, and how Muse can be used as a "prolog accelerator" to make programs run faster in parallel than they do sequentially. Muse Intro : Introduction. Run Example Muse Exe : Main Issues of Parallel Execution. Visualization Tools Programming Considerations Introduction Logic programs offer many opportunities for the exploitation of parallelism, the main ones being OR-parallelism and AND-parallelism [Conery 83]. Each kind has its own advantages and disadvantages, but we have chosen to focus on OR-parallelism as a first step for a number of reasons. From our perspective, the wide range of potential applications and the very slight execution overhead have been the main reasons. See [Lusk et al. 90] for a fuller discussion about the advantages of OR-parallelism in the context of the Aurora system. The goal with Muse, as with Aurora, has been to allow multiple processors to exploit the implicit OR-parallelism of Prolog programs with a minimum of overhead, preserving the

126. SICStus Prolog Homepage Given a prolog program and a partially instantiated query it will produce a new prolog program optimized for all instances of that query. http://www.sics.se/isl/sicstuswww/site/thirdparty.html

WELCOME TO SICStus Prolog Leading Prolog Technology SICStus Home > Third Party Software Download for Evaluation Search About SICStus Prolog Start Page Feature Highlights Performance Platforms ... Don't Panic! Sales and Support Customers Evaluate Product Order Product Download Product ... Other More Information Contact Information Community Links Bibliography Third party software for SICStus Prolog Third Party Software Development Tools Multi-argument indexing MIXTUS Mixtus is an automatic partial evaluator for full Prolog. Given a Prolog program and a partially instantiated query it will produce a new Prolog program optimized for all instances of that query. Logtalk is an open source object-oriented extension to Prolog. FSA Utilities is a package providing finite state automaton operations (intersection, determinization, minimalization, intersection...). The program is able to produce representations of finite state automaton in formats compatible with several visualization tools. Elex scanner generator is a program like (f)lex, but it supports multiple (output) languages including Prolog. Typical is a tool for static type analysis of Prolog which allows ordered types and refined predicate declarations.

127. 1. ICLP 1982: Marseille, France 164168 BibTeX Taisuke Sato Negation and Semantics of prolog Programs. 169-174 BibTeX Roberto Barbuti, Pierpaolo Degano, Giorgio Levi Toward an http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp82.html

ICLP 1982: Marseille, France Michel Van Caneghem Control and Meta-Level : A Horn Clause-like Logic for Specifying Concurrency. 1-8 BibTeX : Logic Control with Logic. 9-18 BibTeX Kenneth M. Kahn : A Partial Evaluator of Lisp Programs Written in Prolog. 19-25 BibTeX Kenneth A. Bowen : Concurrent Execution of Logic. 26-30 BibTeX : Epilog: A Language for Extended Programming in Logic. 31-37 BibTeX Implementation Koichi Furukawa Katsumi Nitta Yuji Matsumoto : Prolog Interpreter Based on Concurrent Programming. 38-44 BibTeX Christian Percebois Jean-Paul Sansonnet : A Lisp-machine to Implement Prolog. 45-51 BibTeX Maurice Bruynooghe : A Note on Garbage-Collection in Prolog Interpreters. 52-55 BibTeX Maarten H. van Emden : An Algorithm for Interpreting Prolog Programs. 56-64 BibTeX Hideyuki Nakashima : Prolog/KR - Language Features. 65-70 BibTeX Norbert Eisinger Simon Kasif Jack Minker : Logic Programming: A Parallel Approach. 71-77 BibTeX Applications I Alain Grumbach : Knowledge Acquisition in Prolog. 78-84 BibTeX Lynette Hirschman Karl Puder : Restriction Grammar in Prolog. 85-90 BibTeX Upen S. Chakravarthy

128. Citebase - Improving Prolog Programs: Refactoring For Prolog This paper applies the ideas of refactoring to prolog programs. Refactoring prolog programs. Technical Report CW373, Department of Computerscience, http://citebase.eprints.org/cgi-bin/citations?id=oai:arXiv.org:cs/0406026

129. CWI Report(s) Of: Prof. Dr. K.R. Apt Reasoning about prolog programs from modes through types to assertions Modular Termination Proofs for Logic and Pure prolog Programs http://db.cwi.nl/rapporten/index.php?persnr=649

130. XML.com: An Introduction To Prolog And RDF It s helpful to contrast prolog programs with invocations of them. A typical prolog program will form a knowledge base a database of facts and rules http://www.xml.com/pub/a/2001/04/25/prologrdf/

Resources Buyer's Guide Newsletter Safari Bookshelf Try Altova's XML Suite 2005 FREE for 30 days - #1 with XML developers worldwide! Business Databases Graphics Metadata ... Web Services Sponsored By XML Development Tools Free Download Stylus Studio – The World's best XML Editor! Learn XML development with Stylus Studio XML IDE Join the XML discussion at the Stylus Studio Developer Network Sponsored Zones Novell Learning Channel Annotated XML What is XML? What is XSLT? ... Email Tags: rdf prolog web xml ... Bookmark with del.icio.us An Introduction to Prolog and RDF by Bijan Parsia April 25, 2001 Introduction: SW is AI Many Semantic Web advocates have gone out of their way to disassociate their visions and projects from the Artificial Intelligence moniker. No surprise, since the AI label has been the kiss of, if not death, at least scorn, since Lisp machines were frozen out of the marketplace during the great " AI winter " of the mid-1980s. Lisp still suffers from its association with the AI label, though it does well by being connected with the actual technologies However, it is a curious phenomenon that the AI label tends to get dropped once the problem AI researchers were studying becomes tractable to some degree and yields practical systems. Voice recognition and text-to-speech, expert systems, machine vision, text summarizers, and theorem provers are just a few examples of classic AI tech that has become part of the standard bag of tricks. The AI label tends to mark things which aren't yet implemented in a generally useful manner, often because hardware or general practices haven't yet caught up.

131. PC AI - Artificial Intelligence Where Intelligent Technology Meets the Real World. The PC AI Home Page has moved. PC AI Magazine PO Box 30130 Phoenix, AZ 85046 Voice 602.971.1869 Fax http://www.pcai.com/pcai/New_Home_Page/ai_info/pcai_prolog.html

Where Intelligent Technology Meets the Real World The PC AI Home Page has moved. PC AI Magazine PO Box 30130 Phoenix, AZ 85046 Voice: 602.971.1869 Fax: 602.971.2321 e-mail: info@pcai.com Comments? webmaster@pcai.com

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 7     121-131 of 131    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7