61. SICStus Prolog - Programming Examples Some simple examples of prolog programming are given below. We are trying to convey a flavor of prolog programming style as well, by following the http://www.ifi.uni-klu.ac.at/Public/Documentation/sicstus2.1.9/sicstus_11.html

Go to the first previous next last section, table of contents Programming Examples Some simple examples of Prolog programming are given below. They exemplify typical applications of Prolog. We are trying to convey a flavor of Prolog programming style as well, by following the simple rules: Base case before recursive cases. Input arguments before output arguments. Use cuts sparingly, and only at proper places (see section The Cut Symbol ). A cut should be placed at the exact point that it is known that the current choice is the correct one: no sooner, no later. Use disjunctions sparingly, always put parentheses around them, never put parentheses around the individual disjuncts, never put the at the end of a line. The code herein was derived in part from shared code written by by R.A. O'Keefe. Simple List Processing The goal concatenate( is true if list consists of the elements of list concatenated with the elements of list . The goal member( X L is true if X is one of the elements of list L . The goal reverse( is true if list consists of the elements of list in reverse order.

62. Holborn Books Online: Prolog Programming For Artificial Intelligence 3rd Edition Buy computer books online at Holborn Books, the UK s foremost specialist computer bookseller. http://www.holbornbooks.co.uk/details.aspx?sn=40154

63. Holborn Books Online: Prolog Programming For Students Buy computer books online at Holborn Books, the UK s foremost specialist computer bookseller. http://www.holbornbooks.co.uk/details.aspx?sn=23580

64. Countrybookshop.co.uk - PROLOG Programming For Artificial Intelligence This edition has been expanded to provide a greater range of applications. It book discusses natural language processing with grammar rules, planning and http://www.countrybookshop.co.uk/books/index.phtml?whatfor=0201403757

65. Review Of "The Art Of Prolog" This book is a very comprehensive introduction to the prolog programming It makes quite clear what contributions logic programming and Prolog have made http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/SterlingShapiro.html

Review of "The Art of Prolog" by Leon Sterling and Ehud Shapiro reviewed by Dale Miller, University of Pennsylvania March 1987 This book is a very comprehensive introduction to the Prolog programming language and its uses. It makes quite clear what contributions logic programming and Prolog have made to the craft of programming. This book is broken into four parts of several chapters each. We first describe each part separately. Part I is an introduction to the general principles behind logic programming. The authors stress its declarative nature by defining the meaning of a program as those goals provable using a simple, non-deterministic Horn clause interpreter. They make it clear how this programming paradigm is very different from other more procedural programming paradigms. They address these differences head-on and, through numerous examples and good analysis, help the reader understand how conventional programming tasks could be re-thought and specified as logic programs. They gradually develop a problem solving approach to building logic programs which is used throughout the rest of the book. Part II presents the Prolog language with all its inabilities to live up to the wonderful view of declarative programming described in Part I. Here the authors are determined to describe Prolog as it has been used for the past decade and more. Hence, they do not justify Prolog's reliance on such features as negation-by-failure, cut, freeze/melt, univ, and setof for any logically intrinsic reasons. Rather these are justified by referring to the language's historical development and by presenting numerous examples which show how they solve problems not addressed by ``pure Prolog''. As each feature is introduced, they are explained and illustrated. By the end of Part II, the full Prolog language with all its non-logical and meta-logical system predicates is introduced. In presenting both syntax and special predicates, the authors stay very close to the Prolog-10/Edinburgh Prolog/C-Prolog implementations of the language.

66. Quintus Prolog Homepage Clause and Effect prolog programming for the Working Programmer. Why Prolog? Justifying Logic Programming for Practical Applications. http://www.sics.se/isl/quintuswww/site/biblio.html

WELCOME TO Quintus Prolog The Industry Standard Quintus Home > Bibliography Evaluation License Search About Quintus Prolog Start Page Feature Summary Embeddability Performance ... Documentation Development Tools Libraries Client/Server X-Windows ... Add-On Packages Sales and Support Evaluate Product Price Information Download Product Don't Panic! ... Report Problem More Information Contact Information Community Bibliography Bibliography If you are not familiar with Prolog, you may be interested in this bibliography. These are only a few of the recent books on Prolog - textbooks on Prolog programming and books on Prolog applications. See also the SICStus links page for some useful links to other Prolog related sites on the Internet. Prolog Programming If you want to learn to program in Prolog, there is a wide selection of textbooks to choose from. Here are some that we recommend. Prolog Programming for Students. D. Caellar, Continuum, 2001. ISBN: 0-826-45496-8 Clause and Effect : Prolog Programming for the Working Programmer. W.F. Clocksin, Springer-Verlag, 1997.

67. Prolog Programming Of Pauline Corpus prolog programming of Pauline Corpus. Bill Starkey bstarke45@hotmail.com Sun, 12 Aug 2001 162726 0400. Messages sorted by date thread subject http://lists.ibiblio.org/pipermail/corpus-paul/20010812/002867.html

Prolog programming of Pauline Corpus Bill Starkey bstarke45@hotmail.com Sun, 12 Aug 2001 16:27:26 -0400 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] does anyone know of work done in Prolog using the pauline corpus? Thank you Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

68. Course 120.2 Prolog Programming Course 120.2 prolog programming. Overview. Primary Concepts; Introductory Examples; Terms; Prolog and Clausalform Logic; Deterministic Evaluations http://www.doc.ic.ac.uk/~cjh/prolog120/

Course 120.2 Prolog Programming Overview Primary Concepts Introductory Examples Terms Prolog and Clausal-form Logic Deterministic Evaluations Non-deterministic Evaluations Influencing Efficiency Unification Answer Extraction List Processing Type Checking Comparing Terms Arithmetic Disjunction Negation Generate and Test Aggregation Pruning the Search Tree Meta-Programming Course Notes in .pdf format Lecture Notes Mini-examples Course Slides on the Web Start here , then click links below slides to progress through them Unassessed Lab Exercises in .pdf format Exercise 1 Solutions 1 Exercise 2 Solutions 2 ... Solutions 4 Guide to 2005 Main Test in .pdf format Guide 2005 Past Main Tests in .pdf format Main Test Paper 2001 Solutions 2001 Main Test Paper 2002 Solutions 2002 ... Solutions 2005

69. Librairie Ellipse.ch [Prolog Programming For Artificial Intelligence 3rd Edition Translate this page prolog programming for Artificial Intelligence 3rd Edition Intelligence 3rd Edition prolog programming for Artificial Intelligence 3rd EditionCHF 111.00 http://www.ellipse.ch/Produit.aspx?Produit=24289

70. Logic Programming Associates This software house supplies WINprolog, Macprolog32 and prolog++. http://www.lpa.co.uk/

Welcome to LPA Welcome to Logic Programming Associates (LPA). We design and support world-class products for Artificial Intelligence, including state-of-the-art Prolog compilers, Chimera Agents, the flex expert system and VisiRule graphical business rules. Chimera Agents - FREE TRIAL Chimera is an all-new Agent engine for WIN-PROLOG, providing an easy-to-use, event-driven programming model for distributed, intelligent applications. Built on the new TCP/IP services in WIN-PROLOG 4.6, Chimera simplifies all aspects of agent creation and deployment. Chimera Heuristic Intelligence Modelling Enhanced Relational Agents SQUID - Powered by WIN-PROLOG Use SQUID (Simple Query Utilising Independent Descriptors) to search the LPA Website directly from this page, or by clicking "Search" on any page. Visual Rules OK - FREE TRIAL VisiRule is a graphical tool for designing, developing and delivering business rule and decision support applications, simply by drawing a flowchart that represents the decision logic. WIN-PROLOG 4.600 -

71. The World Wide Web Virtual Library: Logic Programming Affiliated with the comp.lang.prolog newsgroup this repository includes general information, prolog, Window system interfaces, other logicprogramming systems, meetings, books and related information. http://www.afm.sbu.ac.uk/logic-prog/

Virtual Library Computing Languages Prolog AI Logic Programming 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: General repositories Prolog Window system interfaces Other logic programming systems Meetings Books Related information 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. General repositories Logic Programming and Prolog including the ISO Prolog Standard Logic Programming Group and searchable papers related to logic programming by people at Department of Computing, Imperial College , London, UK. Association of Logic Programming (ALP). Bibliographies on Logic Programming CoLogNET , European Network of Excellence in Computational Logic. Previously

72. Programming Languages Are Like Women Humorous analogies between women and Assembly, Fortran, COBOL, BASIC, PL/1, C, Algol 60 and 68, Pascal, Modula2, LISP, APL, Logo, Lucid and prolog, Ada. Inspired by Fun with Computer Languages. http://www.gksoft.com/a/fun/languages-women.html

Programming Languages Are Like Women There are so many programming languages available that it can be very difficult to get to know them all well enough to pick the right one for you. On the other hand most men know what kind of women appeals to them. So here is a handy guide for many of the popular programming languages that describes what kind of women they would be if programming languages were women. Assembler A female track star who holds all the world speed records. She is hard and bumpy, and so is not that pleasant to embrace. She can cook up any meal, but needs a complete and detailed recipe. She is not beautiful or educated, and speaks in monosyllables like "MOV, JUMP, INC". She has a fierce and violent temper that make her the choice of last resort. FORTRAN Your grey-haired grandmother. People make fun of her just because she is old, but if you take the time to listen, you can learn from her experiences and her mistakes. During her lifetime she has acquired many useful skills in sewing and cooking (subroutine libraries) that no younger women can match, so be thankful she is still around. She has a notoriously bad temper and when angered will start yelling and throwing dishes. It was mostly her bad temper that made granddad search for another wife. COBOL A plump secretary. She talks far too much, and most of what she says can be ignored. She works hard and long hours, but can't handle really complicated jobs. She has a short and unpredictable temper, so no one really likes working with her. She can cook meals for a huge family, but only knows bland recipes.

73. AI Programming Resources Recommendations of websites and literature, by Stuart Russell, UC Berkeley. Public domain AI software; AI, Lisp, prolog online resources, textbooks, references, manuals. http://www.cs.berkeley.edu/~russell/prog.html

AI Programming Resources This page is no longer being updated. See the programming sections of our AI on the Web page instead. This page gives suggestions for AI programs, programming languages, online resources, and programming textbooks. See also CMU's AI Programming FAQs and Temple's list of software from AI books Lisp Common Lisp: the Language (2nd edition) (also known as CLtL2); an online html version of the de facto (although unofficial) Common Lisp reference. A HyperSpec version of the ANSI Standard for Common Lisp , the new standard. This makes Lisp the first object-oriented language recognized by ANSI (American national Standards Institute). Public Domain AI Software Chinook : a checkers program. Play via http; no source code available. UCPOP : a planner similar to the POP planner in the text. Common Lisp plus CLIM. Otter : a theorem prover. C. DTP : a theorem prover. Common Lisp. Epilog : theorem prover and logical language toolkit. Binary for Mac, HP. CLIPS: a Tool for Building Expert Systems. C. Belief net software : a listing of both free and commercial belief net software.

74. Nadathur, Gopalan University of Chicago Declarative programming languages, lambda prolog. http://www.cs.uchicago.edu/~gopalan/

75. Dahl, Jesse Links and demonstrations of author's personal and academic programming projects implemented in c++, java, visual basic, and prolog. Some with sources. http://nike.cecs.csulb.edu/~jtdahl/index.shtml

76. POPLOG For Natural Language Processing Teach, help, reference files, to help students learn about AI theory and programming techniques; for example, a summary of pop11, a summary of prolog, a summary of POPLOG TEACH files. It includes several library programs and TEACH files relevant to NLP. http://www.comp.leeds.ac.uk/nti-kbs/ai5/poplog.html

POPLOG for Natural Language Processing POPLOG is an Artificial Intelligence teaching and software development environment, with a number of software tools, demonstrators, TEACH, HELP, REF etc files, to help students learn about AI theory and programming techniques; for example, a summary of pop11 a summary of prolog a summary of POPLOG TEACH files . It includes several library programs and TEACH files relevant to NLP; in addition, it includes the programs for the main AI5 textbooks Gerald Gazdar and Chris Mellish, "Natural Language Processing in Pop-11", Addison Wesley, 1989 Gerald Gazdar and Chris Mellish, "Natural Language Processing in Prolog", Addison Wesley, 1989 These programs are in /home/csuna_a/staff/pop/sun4/contrib/nlp_book Note that the School of Computer Studies has two POPLOG systems, on Sun: /home/csuna_a/staff/pop and SGI: /usr/local/poplog . The University Computing Service (UCS) Sun system also has a POPLOG system, see ~pop/pop (this includes both contrib/nlp_book and teach subdirectories). To use POPLOG on SCS Suns, you may need to add the line "setup pop" to your .login file. THIS IS NOT NECESSARY FOR SGIs. To run POPLOG pop11, type "pop11" To run POPLOG prolog, type "prolog" End Of Document If you have any comments, queries etc. please contact :

77. Programming:Prolog Putting It Together - Wikibooks A prolog program consists of a database of rules. An atomic sentence is the smallest part in a prolog program that can take on the the meaning true or http://en.wikibooks.org/wiki/Programming:Prolog_Putting_it_Together

Programming:Prolog Putting it Together From Wikibooks Programming Prolog This section serves both to combine the knowledge from the previous chapters and to review it. Prolog is first explained in more detail, true to it's basic structure, and then a small program is presented that combines the knowledge from the previous chapters. Contents Prolog The Prolog Compiler An example program Examples ... edit Prolog A prolog program consists of a database of rules. These rules are loaded into the compiler. The user can then run queries on the database. The compiler will try to prove that the query is true. Everything in prolog is described in logic (prolog logic is variant of classic predicate- or first order logic). Starting from the atoms (the smallest bits) these are the most important logical symbols that make up a prolog program or query. constants These consist of one or more lowercase characters, starting with a letter. A constant is not made up of other prolog symbols (it's an atom) and it does not represent anything in the prolog world except itself. A good way to think of atoms is as the objects of the prolog world. They have no meaning attached to them. Examples of valid constants: foo cd_p0345 a dirk Variables Variables are containers. They can represent pretty much any prolog structure, from constants to predicates. Variables consist of one or more lower- or uppercase characters, starting with an uppercase letter. It's important to note that variables function differently in Prolog than in most programming languages. You do not assign a value to them and then use them, various values are assigned to them by prolog when you run a query to try and make the query true. Examples of valid variables:

78. Prolog Development Center - Planning And Scheduling Solutions Logicprogramming development environment. GUIs and other programs developed with Visual prolog are portable between OS/2 and Windows. Supports Linux and SCO console applications too. http://www.pdc.dk/

Decision Support Solutions - artificial intelligence with a human touch - PDC is a leading supplier of advanced resource scheduling and decision support software. We have more than 20 years of experience in helping private and public enterprises enhance their scheduling and decision making processes. We also supply speech based systems which are used either separately or in combination with our scheduling and decision support systems. In cooperation with our partners we provide solutions for enterprises in many different business areas - probably also yours. Overview: Aviation Industry Service Businesses Retailers Manufacturing Enterprises ... Emergency and Defense Organizations PROLOG Originally, PDC is known for the development of a Prolog compiler for PCs. Today, we develop Visual Prolog - the most widespread compiler for the Prolog programming language and the basic platform for our software applications. Read more about Visual Prolog. "We are particularly keen on the simulation and decision support capabilities of FleetWatch, which allow us to verify options on a virtual basis and then change a virtuel, simulated response into reality at the press of a button", Dave Soaper, Comair Vice President Operations Control

79. Rediff Homepages Java, Servlets, FORTRAN, prolog, C, C++, Assembly Language programming for 8085 and 80x86, Unix Shell programming (BASH). http://members.rediff.com/edwinvaz/Resume/Resume.html

Sorry!! The file that you are looking for does not exist. Please double check the URL you have typed and resubmit. Rediff Homepages Rediff.com Broadband Chat ... Technology

80. Programming In Schelog An embedding of prologstyle logic programming in Scheme. prolog-style and conventional Scheme code fragments can be used alongside each other. http://www.ccs.neu.edu/home/dorai/schelog/schelog.html

[Go to first, previous next page contents Programming in Schelog Dorai Sitaram Download Version 2003-06-01 Installation instructions Schelog is an embedding of Prolog-style logic programming in Scheme. ``Embedding'' means you don't lose Scheme: You can use Prolog-style and conventional Scheme code fragments alongside each other. Schelog contains the full repertoire of Prolog features, including meta-logical and second-order (``set'') predicates, leaving out only those features that could more easily and more efficiently be done with Scheme subexpressions. The Schelog implementation uses the approach to logic programming described in Felleisen [ ] and Haynes [ ]. In contrast to earlier Lisp simulations of Prolog [ ], which used explicit continuation arguments to store failure (backtrack) information, the Felleisen and Haynes model uses the implicit reified continuations of Scheme as provided by the operator call-with-current-continuation (aka call/cc ). This allows Schelog to be an embedding , ie, logic programming is not built as a new language on top of Scheme, but is used alongside Scheme's other features. Both styles of programming may be mixed to any extent that a project needs. The Schelog user does not need to know about the implementation mechanism or about call/cc and continuations to get on with the business of doing logic programming with Schelog.

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 4     61-80 of 131    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20