Geometry.Net - Basic_P: Prolog Programming


Home - Basic_P - Prolog Programming

e99.com Bookstore

Images

Newsgroups

81-100 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)

Prolog: From Specification to Prototype (Computer Science Texts) by Peter A. Leadbetter, 1991-09
Implementing Persistent PROLOG: Large, Dynamic, Shared Procedures in PROLOG by Robert M. Colomb, 1990-04
Functional Grammar in Prolog: An Integrated Implementation for English, French, and Dutch (Natural Language Processing) by S. C. Dik, 1992-05
Execution Models of Prolog for Parallel Computers (Research Monographs in Parallel and Distributed Computing) by Peter Kacsuk, 1990-03-21
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
Logic and Prolog by Richard Spencer-Smith, 1992-02
Implementations of Distributed Prolog (Wiley Series in Parallel Computing) by Peter Kacsuk, Michael J. Wise, 1992-08
Knowledge Systems and Prolog: A Logical Approach to Expert Systems and Natural Language Processing by Adrian Walker, 1987-01
Knowledge Systems through PROLOG: An Introduction by Steven H. Kim, 1991-11-21
Prolog: A Relational Language and Its Applications by John Malpas, 1987-01
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings (Lecture Notes in Computer Science)
The Transparent Prolog Machine: Visualizing Logic Programs by Marc Eisenstadt, Mike Brayshaw, et all 1991-10-31
A Fuzzy Prolog Database System (Electronic and Electrical Engineering Research Studies. Computing Systems Series, No 1) by Deyi Li, Dongbo Liu, 1990-09

lists with details

Document: 3_prolog_language
The prolog programming Language. Control Annotation in Prolog (Contd.); (Edinburgh) Prolog User Interface; (Edinburgh) Prolog User Interface Addingin Programs;
http://clip.dia.fi.upm.es/~logalg/slides/3_prolog_language/3_prolog_language.htm
Logic Programming Associates
This software house supplies WINprolog, Macprolog32 and prolog++.
http://www.lpa.co.uk/
The World Wide Web Virtual Library: Logic Programming
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
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
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/

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

Extractions: 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. 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. 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. 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.
Logic Programming
Logic programming. This web page is devoted to the development of the use of logic programming and prolog worldwide. Applications - descriptions of successful prolog or CLP-based applications world-wide. Projects -
http://www.logic-programming.org/
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

Extractions: 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 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.
N-parallel PROLOG
A parallel logic programming language. Documentation and papers.
http://www.plogic.com/npp-des.html
Nadathur, Gopalan
University of Chicago Declarative programming languages, lambda prolog.
http://www.cs.uchicago.edu/~gopalan/
Salcedo.co.uk
Curriculum Vitae. MacHack 2002 photos and rants. eprolog a GUI programming environment for Sictus prolog on MaxOS X. Downloadable software for Mac.
http://www.salcedo.co.uk/

Extractions: Home Curriculum Blog Photography ... Music and Movies Hi there! Updates have been kind of slow lately, mostly because I am sorting everything to move all my stuff out of London and prepare my arrival in the US. My most updated pages are my photography albums and my blog, both of which can be easily accessed through the menu above or the links below. My 3D page needs a major update, but as I am losing my desktop computer next week it will be tough to upload my animations on time. I will be back producing 3D stuff in August. Till then I'll concentrate on photography. Thanks and see you soon! (: a. Home Curriculum Blog Photos oh the hours spent... Google Afonso Campos BBC News MacRumors ... Princess Garvis
Jesse Dahl's Home Page
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
Index Of /stijnh1
Personal information, mathematically coloured material, and programming in Scheme (a dialect of Lisp), SWIprolog, Matlab and C++.
http://www.geocities.com/stijnh1/
Free Prolog Compilers, Freeprogrammingresources.com
ciao The Ciao prolog System. Ciao is a public domain, next generation multiparadigm programming environment with a unique set of features.
http://www.freeprogrammingresources.com/prolog.html

Extractions: Free Programming Resources Category: Prolog Resources and Compilers and Interpreters ciao: The Ciao Prolog System View in this Window ( Prolog Compilers ) Open in new Window Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features. See the website for more detail as well as downloadable tutorials and documentation.
Edwin's Resume
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

Extractions: www.brainbench.com (Transcript ID: 609149) Computer System Experience : OS Linux (Slackware, RedHat and Debian), Win 95, Win NT, MS DOS Programming Java (OOP, Multithreading, Applet Programming, JDBC, Network Programming, Java Mail, JNDI, AWT, Multimedia), Servlets , FORTRAN, Prolog, C, C++, Assembly Language Programming for 8085 and 80x86, Unix Shell Programming (BASH). Database ORACLE 8, MySQL Front-end JSP DHTML JavaScript , Java AWT Technologies EJB XML Significant Projects : Project TBA (Total Bond Analysis) Online , Phase 2 Client DAIWA, Japan Period 7 Months Position Team Member (Programmer) Contribution Participated in the Design of framework for Market (Poet-SB) module High Level Technical Design documentation in Rational Rose Developing (Coding) 4 screens for Market (Poet-SB) module, viz. st0941 (Type Spread Chronological Analysis Condition Setting Screen), st09411 (Type Spread Chronological Analysis Display Screen), st094111 (Type Spread Chronological Analysis Details Display Screen) and st09412 (Type Spread Chronological Analysis Graphical Display Screen). Generation of PDF Reports and Graphs was also involved in the above mentioned screens.
Prolog Development Center
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/
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

Extractions: 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.
Actor Prolog. An Example Of Web Agent Report.
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.
http://www.cplire.ru/Lab144/space/prolog.html
Build A Program Immediately From Data Processing Examples
Build a program immediately from data processing examples AI language, simpler than prolog, based on generalization and matching of unconstrained text processing samples.
http://sampletalk.8m.com/

Extractions: Introduction Descri p ... and technology Program Examples: Natura l l a ... Perspectives for the Future This is a description of AI language Sampletalk and of the corresponding programming technology. What is this about: Why we create hundreds of thousands (may be millions?) of objects, which cannot interact well, and most of which fly out to the Forget-River almost immediately after their birth? Sometimes they exist a few years, but objects are inevitably flying out, unlike music or math, which live much longer. Why programmers remind people, who include springs into dummies, and then try to persuade themselves (and others) that these dummies are smart? How many billions of dead objects and such dummies will be in the next decade if we will not find another way to interconnect numerous pieces of our knowledge? Do we think using objects ? If yes, do we think of special lists of their
Owain F Carter : Programming Languages As Cars 183
Humorous analogies between cars and Assembly, Fortran II/IV/77, COBOL, BASIC, PL/1, C, Algol 60/68, Pascal, Modula2, LISP, prolog/Lucid, Maple/MACSYMA, Forth, Logo, APL, Ada. Inspired by Fun with Computer Languages.
http://homepages.tesco.net/~scotsnet/o.f.carter/fun/fun183.htm
What Are Logic Programming And Prolog?
Clear explanation of logic programming, and merits of declarative languages.
http://www.biocheminfo.org/moirai/cs_magenta/prolog.html

Extractions: There are many ways of organizing computations. Perhaps the most familiar paradigm is procedural : the program specifies a computation by saying how it is to be performed. FORTRAN, C, and even object-oriented languages fall under this general approach. Another paradigm is declarative The use of declarative languages offers three important advantages. Logic programming languages are inherently ``high-level'' because they focus on the computation's logic and not on its mechanics (which in fact are inaccessible to the programmer). The result is that they are well-suited to expressing complex ideas because the drudgery of memory management, stack pointers, etc., is left to the computational engine. Since the engine incorporates logical inferencing, it is already a powerful tool which can be exploited in developing inference engines specific to a particular universe of discourse (sometimes also called a domain ). For

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

81-100 of 125 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20