Geometry.Net - Basic_P: Prolog Programming


Home - Basic_P - Prolog Programming

e99.com Bookstore

Images

Newsgroups

101-120 of 125 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20

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)

Turbo PROLOG Primer by Daniel Shafer, 1987-09
Prolog for Computer Science by M. S. Dawe, C. M. Dawe, 1994-11
An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies) by Pierre M. Nugues, 2009-12-15
Logic And Programming In Logic by Ramin Yasdi, 1997-06-09
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine (Lecture Notes in Computer Science) by Joachim Beer, 1989-12-15
Programming Informix SQL/4GL: A Step-By-Step Approach (Bk/CD) (2nd Edition) by Cathy Kipp, 1997-11-21
Artificial Intelligence Through Prolog by Neil C. Rowe, 1988-01
Turbo Prolog User's Handbook: Version 2.0 by Andrew Bradbury, Rory Woodward, 1989-06
Prolog, Children and Students (Fifth Generation Computing in Education Series) by Jon Nichol, Jonathan Briggs, et all 1988-05
Essentials of Logic Programming (Graduate Texts in Computer Science) by Christopher John Hogger, 1991-02-21
Memory Performance of Prolog Architectures (The Springer International Series in Engineering and Computer Science) by Evan Tick, 1987-12-31
Artificial Intelligence and PROLOG on Microcomputer by James McAllister, 1987-10-01
Turbo Prolog: An Introduction by Paul M. Chirlian, 1987-11
Expert System Development in PROLOG & Turbo PROLOG by Peter Smith, 1988-12

lists with details

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

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

Extractions: Home Research XSB System Contact Us 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. XSB Version 2.6 was released on June 27, 2003. 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: These are related projects that use and are distributed with XSB.
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

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

Extractions: A new Logic Programming Language 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. Traditionally, logic programming languages have never been able to compete with the popularity of other language paradigms. We attribute this to:
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

Extractions: 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.
Logic Programming Associates
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
Actor Prolog. Programming Language Definition.
if you are tired of reading papers, you could see a nice 3D pictures created with the help of Actor prolog. Please visit our logic programming 3D cyberspace.
http://www.cplire.ru/Lab144/

Extractions: Welcome to the world of Actor Prolog! 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.
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
Consultancies And Training Courses
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.svrc.uq.edu.au/Software/QuPrologHome.html

Extractions: ITEE Home print version The University of Queensland 's School of Information Technology and Electrical Engineering has expertise in a wide range of technical areas. Its major research groups and their leaders are: There are also a number of more specialised groups and centres within the School. The School arranges consultancy projects and industrial training courses through the university's commercial arm, UniQuest Pty Ltd (ABN: 19 010 529 898). To find out more about the School's industrial consultancy capabilities please contact the leader of the relevant research group. (For ITEE staff there are also checklists of activities to be performed when planning a consultancy.)
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/

Extractions: Personal Edition Visual Prolog 6 is the latest generation of the Visual Prolog logical programming language counting PDC and Turbo Prolog as predecessors. The goal of Visual Prolog 6 is to support industrial strength programming of complex knowledge emphasized problems. The release of Visual Prolog 6 is the result of 3 years of development. Continuing the Visual Prolog effort and considering the requirements of our user base we have added: A unique object system Multi threading Unicode support Improved support for DLLs Improved support for functions Improved exception handling and much more.
Software At The Logic Programming Group At Imperial College
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

Extractions: University of London. This page contains software produced in the Logic Programming Group. Note that some of the products can only be released after a special agreement with Imperial College has been signed and returned to us. Also note that some products are not maintained any more (there will be no more official bug fixes). (Frank McCabe, Keith Clark) (Frank McCabe, Damian Chu, Yiannis Cosmadopoulos) Note: There is currently no user support for this product Note: There is currently no user support for this product About Parlog Version 159 for Sun3 parlog-159-sun3.tar.Z
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/

Extractions: 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.
Prolog yPROgramming In LOGicz : ITpê«T
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://ew.hitachi-system.co.jp/w/Prolog.html
Products: Visual Prolog (programming Language, Compiler, Development Environment
Products Visual prolog 6.1 and 5.2 (programming language, compiler, development environment, debugger, linker) a free Personal Edition, Commercial Edition
http://www.visual-prolog.com/vip6/Product/default.htm

Extractions: Personal Edition Prolog Development Center offers you an opportunity to learn Visual Prolog by using a free Personal Edition. The Personal Edition has got the limited library support compared to the Commercial Edition, and it may only be used privately for learning Visual Prolog. The Personal Edition is free and can be downloaded from Simtel The Commercial Edition contains everything from the Personal Edition plus help generator tool and extra library support. Especially for multithreading, ODBC, Sockets, pipes and many extra GUI controls. See a list of differences between the Commercial and Personal Editions of Visual Prolog 6. You have to purchase the Commercial Edition if you want to use Visual Prolog commercially. Visual Prolog 6.1 Commercial Edition costs $299. If you need more than 10 licenses please contact Prolog Development Center for an individual offer, otherwise you can simply make you order
Prolog Tutorial -- 2
The key goals of the presentation are to show several important methods of knowledge representation in prolog and the declarative programming methodology of
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2.html

Extractions: In this chapter we provide several sample Prolog programs. The programs are given in a progression from fairly simple programs to more complex programs. The key goals of the presentation are to show several important methods of knowledge representation in Prolog and the declarative programming methodology of Prolog. This section uses a famous mathematical problem that of coloring planar maps to motivate logical representations of facts and rules in Prolog. The prolog program developed provides a representation for adjacent regions in a map, and shows a way to represent colorings, and a definition of when the colorings in conflict; that is, when two adjacent regions have the same coloring. The section introduces the concept of a semantic program clause tree to motivate the issue of semantics for logic-based programming. This section introduces the student to computations of mathematical functions using Prolog. Various built-in arithmetic operators are discussed. Also discussed is the concept of a Prolog derivation tree, and how derivation trees are related to tracings of Prolog. This famous puzzle is formulated in Prolog. The discussion concerns both the declarative and the procedural meanings of the program. The program write puzzle solutions to the screen.
SEM242 Introduction
SEM242 prolog and Logic programming. This course structured object. Using this, it is possible to write simple and useful prolog programs.
http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html

Extractions: This course is supported by World-Wide Web documents. These notes originated from the School of Computer Science in the University of Birmingham , United Kingdom. More precisely, they were written by Peter Hancox mainly in the early hours of the morning at home in the edge of Worcestershire in the English midlands. These notes are publically accessible and we know they are used by students learning at other universities. If you are a tutor and want to use these notes for group teaching, please ask for a copy rather than using our World-Wide Web server. These notes will be greatly improved if you report the errors that are bound to creep into teaching material like this. I'd welcome comments about difficulties in using these notes and (of course) any encouraging comments you want to make. Messages should be addressed to P.J.Hancox@bham.ac.uk. The reward for helpful messages is to get your name in the acknowledgements! The set of documents includes: Module 1 - Some unification, some data types and some built-in predicates
ITpê«T: Prolog yPROgramming In LOGicz
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://www.itmedia.co.jp/dict/programming/language/kind/00877.html
Logic, Programming And Prolog
Logic, programming and prolog (2ed). by Ulf Nilsson and Jan Maluszynski. Previously published by John Wiley Sons Ltd. Download the book as a pdf file.
http://www.ida.liu.se/~ulfni/lpp/
SWI-Prolog's Home
SWIprolog an LGPL comprehensive portable prolog compiler under the LGPL. prolog libraries are distributed under the GPL to the image. Compiled prolog however is compact, allowing the
http://www.swi-prolog.org/
Prolog AI Blog Of AI4U Textbook Artificial Intelligence
Using the AI4U textbook to create artificial Minds in prolog for robots. prolog. AI Weblog This weblog invites prolog programmers to implement the main Alife Mind loop of the the evolution of the AI Minds in prolog or any other language
http://mind.sourceforge.net/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

101-120 of 125 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20