Geometry.Net - Basic_P: Prolog Programming


Home - Basic_P - Prolog Programming

e99.com Bookstore

Images

Newsgroups

121-131 of 131 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7

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

Prolog Programming: more books (100)

Prolog (International Computer Science Series)
Using Turbo Prolog (Borland-Osborne/McGraw-Hill Business) by Kelly Rich, Phillip R. Robinson, 1988-10
PROLOG Wizard: A Wiley Programmer's Reference by Dennis L. Foster, 1987-07
Turbo Prolog: Step by Step : With Turbo Prolog 2.0 by Ralph Cafolla, Daniel Albert Kauffman, 1989-02
Prolog, Programming
Problem Solving With Prolog by John Stobo, 1989-12-31
Turbo PROLOG: Advanced Programming Techniques by Safaa H. Hashim, Philip C. Seyer, 1989-11-01
PROLOG: Programming for Tomorrow by Jim Doores, Allan Reiblein, et all 1987-04
Prolog Programming: A Tutorial Introduction (Artificial Intelligence Texts) by Carlton McDonald, Masoud Yazdani, 1991-01
PROLOG Through Examples: A Practical Programming Guide by Igor Kononenko, N. Lavrac, 1988-06-01
Concurrent Prolog - Vol. 1: Collected Papers (Logic Programming)
Prolog Programming in Depth - 1996 publication by Andr Vllno, 1996-01-01
Prolog: Programming for Artificial Intelligence -- Second 2nd Edition by Ivan Bratko, 1994
Expert Systems Programming in Turbo Prolog by Daniel H. Marcellus, 1988-10

lists with details

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

Extractions: 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
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

Extractions: Italy 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
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
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

Extractions: 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 This file is intended to give you a brief idea about BAP. Please see the TUTORIAL for details. The BAP system consists of the following components: 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). Responsible for memory management, loading and execution of applications and the process management.
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

Extractions: Go to the first previous next last section, table of contents 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. 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
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

Extractions: Leading Prolog Technology SICStus Home > Third Party Software Download for Evaluation Search Third party software for SICStus Prolog 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.
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
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
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
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/

Extractions: April 25, 2001 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.
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

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

121-131 of 131 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7