Geometry.Net - Basic_P: Prolog Programming


Home - Basic_P - Prolog Programming

e99.com Bookstore

Images

Newsgroups

1-20 of 114 1 | 2 | 3 | 4 | 5 | 6 | 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)

PROLOG Programming for Artificial Intelligence (International Computer Science Series) by Ivan Bratko, 2011-04-12

Programming in Prolog: Using the ISO Standard by William F. Clocksin, Christopher S. Mellish, 2003-09-10

PROLOG Programming: Applications for Data Base Systems, Expert Systems and Natural Language Systems by C. Marcus, 1987-05

The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming) by Leon Sterling, Ehud Shapiro, 1994-03-10

The Craft of Prolog (Logic Programming) by Richard O'Keefe, 1990-06-19

Logic Programming with Prolog by Max Bramer, 2005-07-13

The Practice of Prolog (Logic Programming)

Knowledge Systems and Prolog: Developing Expert, Database and Natural Language Systems by Adrian Walker, Michael McCord, et all 1990-07

Prolog Programming in Depth by Michael A. Covington, Donald Nute, et all 1996-05-31

Clause and Effect: Prolog Programming for the Working Programmer by William F. Clocksin, 2003-04-29

Seven Languages in Seven Weeks: A Pragmatic Guide to Learning Programming Languages by Bruce A. Tate, 2010-11-10

P-Prolog: A Parallel Logic Programming Language (World Scientific Series in Computer Science) by Rong Yang, 1988-04

Prolog ++: The Power of Object-Oriented and Logic Programming (International Series in Logic Programming) by Chris Moss, 1994-07

Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals by T. Van Le, 1992-10

lists with details

Home Page Of The Prolog Programming Contests
General information and contest results about this international programming contest.Category Computers Programming ContestsThe prolog programming Contests. Here are the questionsof the first five editions of the contest
http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/
Guide To Prolog Programming
ONLINE GUIDE TO. prolog programming BY ROMAN BARTÁK. Links2Go Welcome toOn-line Guide to prolog programming designed and maintained by Roman Barták.
http://kti.ms.mff.cuni.cz/~bartak/prolog/

Extractions: Second Edition, 1998 This is a second edition of former Interactive Prolog Guide that brings new design and better organization of chapters. It is also more "interactive" as I include Test Zone where you can try and test your Prolog programs interactively within your Java-capable web browser. Finally, I expect to add some chapters on advanced topics you asked me for. I still investigate the possibility to provide the Guide as a file to download but I have not decided yet. If you want to know more about the author of the site, you are welcomed to my Home Page . Also, your comments, suggestions and corrections are highly appreciated. announcement of CD-ROM version Table of Contents
Prolog Programming A First Course
Get the book as a 537KB gzipped pdf file using Type one fonts! Get the book as a 367KB gzipped postscript file! Get the book as a 1.6MB postscript file prolog programming A First Course
http://cbl.leeds.ac.uk/~paul/prologbook

Extractions: While the cbl site will probably be around for some time, the one over which I have control is at Northumbria University (unn). Get the book as a 537KB gzipped pdf file using Type one fonts! Get the book as a 367KB gzipped postscript file! Get the book as a 1.6MB postscript file Paul Brna The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog . They are not assumed to have had any formal course in either propositional or predicate logic. At the end of the course, the students should have enough familiarity with Prolog to be able to pursue any undergraduate course which makes use of Prolog This is a rather ambitious undertaking for a course of only twelve lectures so the lectures are supplemented with exercises and small practical projects wherever possible. The Prolog implementation used is SICStus Prolog which is closely modelled on Quintus Prolog (SICS is the Swedish Institute of Computer Science). The reference manual should also be available for consultation [
Prolog Programming Language
prolog programming Language Prolog (PROgramming LOGic) rose within the realm of Artificial Intelligence (AI). It originally became popular with AI researchers, who know more about "what" and "how" intelligent behaviour is achieved. prolog programming Language. Click below to go directly to a specific section
http://www.engin.umd.umich.edu/CIS/course.des/cis400/prolog/prolog.html

Extractions: History Significant Language Features Areas of Application Sample Programs ... Acknowledgements Prolog (PROgramming LOGic) rose within the realm of Artificial Intelligence (AI). It originally became popular with AI researchers, who know more about "what" and "how" intelligent behaviour is achieved. The philosopy behind it deals with the logical and declarative aspects. Prolog represents a fundamentally new approach to computing and became a serious competitor to LISP. Prolog is a rich collection of data structures in the language and human reasoning, and a powerful notation for encoding end-user applications. It has its logical and declarative aspects, interpretive natur, compactness, and inherent modularity. Intelligent Systems - programs which perform useful tasks by utilizing artificaial intelligence techniques. Expert Systems - intelligent systems which reproduce decision-making at the level of a human expert. Natural Language Systems - which can analys and respond to statements made in ordinary language as opposed to approved keywords or menu selections.
M.Hiroi's Home Page / Prolog Programming
M.Hiroi's Home Page http//www.geocities.co.jp/SiliconValley Oakland/1680/ prolog programming Home X68000 Tcl/Tk xyzzy Lisp Puzzle Prolog Prolog CONTENTS 2002/09/22 (1)
http://www.geocities.co.jp/SiliconValley-Oakland/1680/prolog

Extractions: http://www.geocities.co.jp/SiliconValley-Oakland/1680/ Home Tcl/Tk xyzzy Lisp Puzzle Prolog (vOF Pro gramming in Log ic) ÍvO~O¾êÅ·B b¾êâ Perl ªè±«^¾êALisp ªÖ^¾êÆÄÎêÄ¢éÌÉÎµA Prolog Í_^¾êÆÄÎêÄ¢Ü·B±êÍAProlog ÌvZÌdgÝªA _wðîbÉµÄ¬è§ÁÄ¢é©çÅ·B _wÆ¢¤Æïµ¢ÌÅÍÈ¢©Ævíêé©àµêÜ¹ñB Å·ªA_wÍ³ÁÏèí©çÈ¢ M.Hiroi ÅàA Prolog ÅvOðìé±ÆªÅ«Üµ½B Ü½ALisp Å Prolog C^v^ðìÁ½±Æà èÜ·B _w¾©çÆ¢ÁÄAïµl¦é±ÆÍÜÁ½ èÜ¹ñB ½Æ¦ÎAu¾YÍR[q[ªD«Å éBvÆ¢¤Àª éÆA ¾êªR[q[ðD«©H => ¾Y ¾YÍÈÉªD«©H => R[q[ Æ¢Á½¿âÉ¦é±ÆªÅ«Ü·B Ù©ÌvO~O¾êðmÁÄ¢élÉÆÁÄA ÈñÅ±êÅvOªgßéÌ©svcÉvíêé±ÆÅµå¤B b¾êâ Perl ÈÇÌ±ÆÍ«ê¢³ÁÏèYêÄA ÀÛÉgÁÄÝÄ¾³¢BProlog ÌÊ³ªÀ´Å«éÆv¢Ü·B w¨Cy Prolog vO~Oüåx Ìì ÍMÒuLä½ (Makoto Hiroi) vªÛµÜ·B ³fgpâ³f]ÚÍÖ~¢½µÜ·B Prolog Programming ÅÍ SWI-Prolog Æ¢¤nðgpµÜ·B SWI-Prolog Í GNU GPL CZXÅzz³êÄ¢ÄA SWI-Prolog's Home ©ç_E[hÅ«Ü·B Windows pÌoCiªpÓ³êÄ¢éÌÅA _E[hµÄ_uNbN·êÎA CXg[[ªN®µÄÈPÉZbgAbv·é±ÆªÅ«Ü·B
The World Wide Web Virtual Library: Logic Programming
Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Category Computers Programming Languages Logicbased Intelligent Reasoning by Example by Peter Flach, John Wiley Sons, 1994, coverstheoretical and practical aspects of prolog programming and information on AI.
http://www.afm.sbu.ac.uk/logic-prog/

Extractions: Virtual Library Computing Languages Prolog AI Please contact Jonathan Bowen if you know of relevant on-line information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular. This document contains some pointers to information on Logic Programming available around the world on the World Wide Web The following information is available: indicates new entries. indicates a (subjectively!) recommended link for especially good on-line information. If enough people email me, I will add a star to entries recommended by others. Logic Programming and Prolog including the ISO Prolog Standard Logic Programming in North America (NALP). Projects, applications, resources, people, papers, ISO standard, etc. Logic Programming Group and searchable papers related to logic programming by people at Department of Computing, Imperial College
SEM242 Introduction
prolog programming Tutorial I. Overview
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
Matz Kindahl - Prolog Programming
You are the 863rd visitor to this page since March 20, 2001. Here are some issues involving prolog programming, from simple examples to advanced applications.
http://user.it.uu.se/~matkin/programming/prolog

Extractions: You are the 939th visitor to this page since March 20, 2001. Here are some issues involving Prolog programming, from simple examples to advanced applications. Since this (as every other of the pages) are work in progress, comments are always welcome. I am grown up with SICStus Prolog, but for this document I will use SWI-Prolog, since that is free and I have it installed on a machine here. Programming Prolog is not always easy: you have to get your head into a declarative way of thinking, and when you belive that you've finally grasped it, you have to start thinking about such non-intuitive things as unification order and programming with incomplete data structures. Do not give up: once you've learned it, you will discover a simple and yet beautiful programming language. Here is a list of different puzzles that can be solved using Prolog. It contain logic puzzles appearing now and then in different forums (e.g., comp.lang.prolog ) or that I found in books or papers. Who Stole the Jam?
Redirecting...
Explanations, links.
http://www.primenet.com/pcai/New_Home_Page/ai_info/pcai_prolog.html
The World Wide Web Virtual Library: Logic Programming
Please contact Jonathan Bowen if you know of relevant online information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular. Flach, John Wiley Sons, 1994, covers theoretical and practical aspects of prolog programming and information on AI.
http://www.comlab.ox.ac.uk/archive/logic-prog.html

Extractions: Virtual Library Computing Languages Prolog AI Please contact Jonathan Bowen if you know of relevant on-line information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular. This document contains some pointers to information on Logic Programming available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information The following information is available: indicates new entries. indicates a (subjectively!) recommended link for especially good on-line information. If enough people email me, I will add a star to entries recommended by others. Logic Programming and Prolog including the ISO Prolog Standard Logic Programming in North America (NALP). Projects, applications, resources, people, papers, ISO standard, etc. Logic Programming Group and searchable papers related to logic programming by people at Department of Computing, Imperial College
Prolog Guide - Prolog In Examples
Guide to prolog programming. © Roman Barták, 1998. Chapters in this section areintended to be a tutorial to prolog programming and to programming in general.
http://kti.ms.mff.cuni.cz/~bartak/prolog/learning.html

Extractions: Important!! If you have any problems with accessing links at this page, please check URL in your browser. The right URL of this page is http://kti.mff.cuni.cz/~bartak/prolog/learning.html . Please report this correction to authors of referring pages as well. Thanks. Note also, that this is not a root page of the Prolog Guide. I recommend you to visit the root page where you can find links to other sections of Prolog Guide. Chapters in this section are intended to be a tutorial to Prolog programming and to programming in general. You can find here a lot examples of (hopefully) working Prolog programs that show principles of declarative programming (you can try some of them in a new Test Zone ). We start with trivial examples to introduce basic program and data structures and continue with more advanced programs which show how to implement algorithms in Prolog and how to solve problems using Prolog. The goal of this tutorial is to convince you, that Prolog can be an efficient tool to do programming if you know the right techniques.
Home Page Of The Prolog Programming Contests
The Sixth Annual prolog programming Contest. The Sixth annual prolog programmingcontest was organised at the occasion of ICLP'99 at Las Cruces, New Mexico.
http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/Contest99.html

Extractions: The Prolog Programming Contest has celebrated its sixth edition this year: the zeroth time it was organised was at the occasion of PAP'94 and was a complete failure with zero participants (and consequently only loosers). But from then on, the ILPS'94, ILPS'95, JICSLP'96, ICLP'97 and JICSLP'98 editions, were quite successful and participants, however reluctant to participate before the contest, always got carried away by the frantic atmosphere during the contest. In the past, a team from Melbourne won this contest three times and you might think they are invincible, but in Bonn, the Munich team proved this to be wrong ! And last year, a north-american team won. So, whether you are an experienced programmer or a novice, whether Prolog is your native language or not, you had nothing to loose by participating and much to gain ! There was a novelty this year: you could participate in any LP language (approved by the organisers: me and Gopal Gupta). Only the Oz team did not use a Prolog system. The Sixth annual Prolog Programming contest was organised at the occasion of ICLP'99 at Las Cruces, New Mexico.
Prolog Guide - Contents
page contains Table of Contents for Online Guide to prolog programming. As you noticed surely, many chapters are still
http://kti.ms.mff.cuni.cz/~bartak/prolog/contents.html
PC AI - Prolog Programming Language
Where Intelligent Technology Meets the Real World Home Contents SearchNews Services Contact PC AI, prolog programming Language. Overview
http://www.pcai.com/web/ai_info/pcai_prolog.html

Extractions: Prolog Programming Language Prolog Information on the Internet CMU Artificial Intelligence Prolog Repository Textbook material, code, benchmarking information, documentation, FAQ, gui, shareware, newsgroup archives, utilities, and other information related to Prolog are available. (A second source) CMU Prolog Repository Links to a number of Prolog topics including machine readable parts of various Prolog books, Prolog code for benchmarking and research, Prolog documentation, GUI, Free/Shareware Prolog implementations, object oriented programming, newsgroup archives, utilities, and FAQ. Different Prolog Implementations A archive for Prolog implementations. (FAQ) For comp.lang.prolog Contains answers to frequently asked questions often seen in comp.lang.prolog. It is posted (twice a month, currently on the 1st and 16th) to help reduce the volume in this newsgroup and to provide hard-to-find information of general interest. Also includes the Prolog Resource Guide and Prolog Implementations. GULP 2.0: Extension of Prolog for Unification-Based Grammar
PROLOG Programming For Artificial Intelligence
About the Book Learn about the book, its author, and how to get yourown copy. Student Resources Make the most of your studies.
http://cwx.prenhall.com/bookbind/pubbooks/bratko3_ema/
PROLOG Programming For Artificial Intelligence Chapter 0 -- The Book
Divided into two parts, the first part of the book introduces the programming languageProlog, while the second part teaches Artificial Intelligence using
http://cwx.prenhall.com/bookbind/pubbooks/bratko3_ema/chapter0/objectives/deluxe

Extractions: The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. PROLOG has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The third edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike. Features Combined approach to Prolog and AI allows flexibility for learning and teaching Provides a thorough representation of AI, emphasizing practical techniques and Prolog implementations Prolog programs for use in projects and research are available for download on the World Wide Web.
Offshore Software Development, Web Design Company Intelligence Soft
prolog programming, offshore software development, artificial intelligence techniques, i software localization and translation.
http://www.intsoft.spb.ru

Extractions: Since 1994 INTELLIGENCE-SOFT has delivered more than 40 projects for customers from Western Europe, USA and Canada lasting from several weeks to several years each. More... eMapX - ActiveX component displaying geographical maps. eMapX uses our unique map data exchange algorithm optimized for internet transfer. Read more about eMapX project. Read more about our business relations with partners/customers, rates and payments business models section Type keywords here and click "Search": If you wish to outsource your software development project and want our experts to prepare and mail you a provisional quotation then find a minute to fill out project description form Download and print our brochure. Just go to the
Prolog Programming Tutorial I
prolog programming Tutorial I. Overview. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
http://www.cse.cuhk.edu.hk/~csc4510/prolog/tutorial.1/1.htm
CSC4510 --- Prolog Programming - Reference Books
prolog programming Reference Books. AUTHOR Bratko, Ivan. TITLE Prologprogramming for artificial intelligence / Ivan Bratko. EDITION
http://www.cse.cuhk.edu.hk/~csc4510/prolog/prolog_ref.html
M.Hiroi's Home Page / Prolog Programming
M.Hiroi's Home Page http//www.geocities.co.jp/SiliconValleyOakland/1680/prolog programming. ? Prolog ?.
http://www.geocities.co.jp/SiliconValley-Oakland/1680/prolog/prolog01.html

Extractions: http://www.geocities.co.jp/SiliconValley-Oakland/1680/ Prolog NextPage like( taro, coffee ). Prolog ÌêAÅãÉK¸sIh ( . ) ðÂ¯Ü·B YêÈ¢æ¤ÉÓµÄ¾³¢BÙ©Éàl¦ÄÝÜµå¤B ¾YÍRRAªD« => like( taro, cocoa ). ÔqÍgªD« => like( hanako, tea ). Æ¢¢Ü·BãëÉ±¾tðøÆ¢¢Ü·B ·Èí¿AProlog ÅÍ qê( ø, ..., ø ). »êÅÍAÀÛÉ¢ÜÜÅÌáðvOµÄÝÜµå¤B t@C like.swi É like( taro, coffee ). ¾¯ð¢ÄÛ¶µÜ·B»µÄA »Ìt@Cð_uNbNµÄ¾³¢B·éÆA SWI-Prolog ªN®µÄ like.swi ðÇÝÝÜ·B ±êÅu¾YÍR[q[ªD«Å évÆ¢¤Àªè`³êÜµ½B »êÅÍA¾YªR[q[ðD«©A½¸ËÄÝÜµå¤B ¿â·éêÍA»ÌÖWð»ÌÜÜüÍµÜ·B ?- like( taro, coffee ). YES Ü A±êÍ½èOÅ·ËBÅÍAÔqÍgªD«©A½¸ËÄÝÜµå¤B ?- like( hanako, tea ). NO ±êÍAuÔqÍgªD«Å évÆ¢¤ÀªÈ¢ÌÅA Prolog Íá¤Æ¢ÁÄ«½ÌÅ·B»êÅÍA like( hanako, tea ). Æ like( taro, cocoa ). ð like.swi Éè`µÄA SWI-Prolog ðÄN®µÄ¾³¢B»µÄA¿âµÄÝÜµå¤B

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

1-20 of 114 1 | 2 | 3 | 4 | 5 | 6 | Next 20