Top : Computers : Programming : Languages :
Prolog
Websites
A comparison of several Prolog systems from a beginners perspective
site exerpt
Prolog Comparison 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...Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system.
site exerpt
The PiLLoW Pages This package is a public domain HTML/XML/HTTP conectivity package for Logic Programming and Constraint Programming systems. Copyright: This package is provided under the GNU Library General Public License Downloading: The package has been developed in the context of the Ciao...Prolog programming tutorial and online book.
site exerpt
OOPWeb.com Prolog Directory Tutorials, References, Guides Prolog programming tutorials, references, guides and online books. All of these are hosted locally at the Prolog Directory enabling quick access and accurate searching. Home Submit Document FAQ About Contact Us Prolog Directory Search the Prolog Directory Advanced Search Search...C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
site exerpt
BinNet Corporation Java and Prolog software for Internet programming 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...Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
http://www.coli.uni-sb.de/~erbach/
This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
site exerpt
Cetus Links: 18,452 Links on Objects and Components Prolog Prolog operates in an inferential or implicative way: What you write are implications, and operation flows from one impliction to the next implied goal. A line of Prolog code is generally either a rule or a fact code and data...Intelligent Reasoning by Example.
site exerpt
Simply Logical Currently available via print-on-demand. Table of Contents Foreword by Bob Kowalski Author's Preface On-line Prolog programs from the book: compressed tar archive (Unix, 38K) BinHex archive (Macintosh, 149K) plain text files Teaching materials: colour overhead transparencies (PowerPoint, HTML, PDF, PostScript)...The Techref page regarding Prolog. Word Prolog meanings. Links.
http://techref.massmind.org/techref/language/prolog/index.htm
The complete FAQs from news:comp.lang.prolog
site exerpt
Prolog Resource Guide AI-related FAQs Prolog Resource Guide FAQ: Prolog Resource Guide 1/2 [Monthly posting] FAQ: Prolog Implementations 2/2 [Monthly posting] Last Web Update on August 10, 1997 by Mark Kantrowitz AI.Repository@cs.cmu.edu...14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
site exerpt
Prolog provides a forum for researchers and practitioners working on practical applications based on Prolog and its variants to exchange research ideas and to share development experiences. The main topics of INAP2001 are Content ManagementandDecision Support Systems These two streams...Open Source AI projects in Prolog.
site exerpt
Prolog AI blog of artificial intelligence evolving from Seed AI to Singularity AI Mind loop at the core of the AI framework from the AI textbook AI4U: Mind-1.1 Programmer's Manual with printable Index. See also Ada APL C C COBOL Forth Java JavaScript Labview Lisp Oberon Perl Python Ruby Scheme Smalltalk Tcl Visual...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.
site exerpt
Actor Prolog. An Example of Web Agent Report. Sorry, your browser doesn't support frames. Press this button, please:...A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp.
site exerpt
Prolog Parsers.Parsing techniques in Prolog The author is a lingvist working in the tradition of what, with a very general term, may be called generative grammar getting interested, some time ago, in the problems of computerized parsing. The result of this interest is a book,...http://www-2.cs.cmu.edu/Groups/A...s/lang/prolog/prg/part2/faq.html
For Prolog.
site exerpt
Prolog HELLO WORLD. Works with Sbp (prolog) hello printstring HELLO WORLD printstring printstring([H|T put(H printstring(T submitted by: sanderso@cs.ucdavis.edu (Jake Sanderson)...Explanations, links.
site exerpt
PCAI Artificial Intelligence Free eMagazine, White Papers, Demos, Products, Glossary, Links Online provides the latest information on intelligent applications and artificial intelligence. Online issues include tutorials, new product announcements, buyer's guides, as well as examples of successful uses of these technologies to solve real world problems. Readers include AI novices, experienced...Interface between Java and Prolog through JNI and reflection.
site exerpt
Java Interface to Prolog Fixed the case sucsess method not found 2000/10/13 JIPL version1.2.1 Fixed a sirious error in backslash treatment in the IDE. 2000/10/10 JIPL version1.2 2000/09/18 JIPL version1.2beta for JDK1.2 and JDK1.3. Based on K-Prolog version 5.0beta, fully ISO conforming. The package...This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
ftp://ftp.inria.fr/INRIA/Project.../ChLoE/LOGIC_PROGRAMMING/clp_fd/
article by Roberto Bagnara.
http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a
From basics to advanced topics tutorial by J.R.Fisher.
site exerpt
Prolog Tutorial Contents Two factorial definitions 2.3 Towers of Hanoi puzzle 2.4 Loading programs, editing programs 2.5 Negation as failure 2.6 Tree data and relations 2.7 Prolog lists and sequences 2.8 Change for a dollar 2.9 Map coloring redux 2.10 Simple I/O 2.11...Prolog tutorials by James Power. Revised Alex Monaghan.
site exerpt
An Introduction to PROLOG Tutorials take place as advised during semester 1 in LG.01 (the ground floor lab in the CA building Tutors will be available at the advertised times, but it is up to you to decide when you do the work. There...A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
site exerpt
CG: Part I: Foundations I of the series of courses on Conceptual Graphs. Module I laid the foundation for Module II by introducing the general theory of conceptual graphs. In Module II, we will be using this theory to represent larger texts, and to...An implementation of a parser in LPA Prolog as well as a report about this parser.
site exerpt
Simple Text Parser This document was prepared in scope of the Computational Linguistics course at the Austrian Partners of University of Derby in February 2002. Download Simple Text Parser Source Code Copyright 2004Dmitri Pissarenko. All rights reserved....This website shows how simple natural language processing can be implemented in LPA Prolog.
site exerpt
Very Basic Natural Language Processing with LPA PROLOG This document was prepared in scope of the Computational Linguistics course at the Austrian Partners of University of Derby in February 2002. It is a practical demonstration, how simple natural language processing can be done in LPA PROLOG. Download Very...Reference for beginner logic programmers in Prolog.
site exerpt
saviranid Prolog Help/References A short informal introduction to Prolog Manual for Edinburgh Prolog Public Domain Prolog-2 This is an implementation of Clocksin and Mellish Prolog complete with most of the standard additions, such as the debugger and the grammar rule package. It deviates...A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
site exerpt
An Introduction to Prolog This document was translated from LATEX by HEVEA....Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers.
site exerpt
Warren's Abstract Machine Reconstruction that was published by MIT Press, in 1991 under ISBN 0-262-51058-8 (paper) and ISBN 0-262-01123-9 (cloth) is now out of print, MIT Press having decided against a new printing (apparently because of lack of demand I now own the...Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.
site exerpt
Untitled Document Full first order constraints Ngation et quantification dans les contraintes, Transparents d'une confrence invite, JFPLC, Marseille 28 juin 2000, 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,...A wiki based based book on Prolog.
site exerpt
Prolog Wikibooks Welcome to the prolog wikibook. This book can serve as a textbook or tutorial for anyone who wants to learn the prolog programming language. No prior programming experience is required. Some basic knowledge of logic can come in handy. For...Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog.
site exerpt
Bibliographic references of Can Logic Programming Execute as Fast as Imperative Programming Van Roy (Update) Context of citations to this paper: More implementation of Prolog have tried to improve further the performance by using direct compilation to native code and...