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

Next: Prolog Note: For best results please select 14 pt fonts in the preferences menu of your browser. Computational Logic The Prolog Programming Language Prolog Prolog Syntax and Terminology Prolog Syntax Operators Prolog Syntax Operators (Contd.) ... Other Issues / To Learn More Last modification: Wed Oct 15 07:17:03 CEST 2003

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

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

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 (WWW or W3), a global hypermedia system providing worldwide information 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 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

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

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

86. 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/

Logic Programming This web page is devoted to the development of the use of logic programming and Prolog world-wide. Applications descriptions of successful Prolog or CLP-based applications world-wide Projects descriptions of current LP-related projects, including both industrial and academic work. Resources lists useful resources, include Prolog and CLP vendors, associations, FAQs, web respositories, ... People interested people, usually with pointers to more extensive descriptions. Papers access to papers on the net relating to logic programming and constraint logic programming. ISO Prolog Standard information on, and access to, the International Standards Organization Prolog standard. webmaster@logic-programming.org Possible other sites we run but that are not related to logic programming that may interest you include chibineko and chemint

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

88. N-parallel PROLOG A parallel logic programming language. Documentation and papers. http://www.plogic.com/npp-des.html

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

90. 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/

Home Curriculum Blog Photography ... Music and Movies afonso salcedo home 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 noteworthy oh the hours spent... Google Afonso Campos BBC News MacRumors ... Princess Garvis

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

Welcome To Jesse Dahl's Home Page Friday, 11-Jun-2004 11:38:19 PDT Links Puzzle of Eight (assembly) Led Zeppelin Long Beach State Ice Hockey CECS Department ... ACM-CSULB chapter Java Projects Silly Moving Robot Country Capitals Tomato Logo Visual Basic Projects Loan Calculator State Capitals Student Record Real Estate Lot Tracker This webpage has been visited 1084 times. This page was last modified on Monday, 03-Feb-2003 19:44:16 PST E-mail me

92. 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/

Index of /stijnh1 Name Last modified Size Description ... Parent Directory 08-May-2004 10:53 -

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

Free Programming Resources Home Search Articles ... XML Category: Prolog Resources and Compilers and Interpreters Free Prolog Compilers 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. Visual Prolog 6 View in this Window ( Prolog Compilers ) Open in new Window A free Personal Edition is available of Visual Prolog 6 is now available for non-commercial usage only. Kernel PrologL View in this Window ( Prolog Compilers ) Open in new Window Lightweight Prolog-in-Java Interpreter that supports a simplified CUT-less and operatorless subset of ISO Prolog. The GNU Prolog web site View in this Window ( Prolog Compilers ) Open in new Window GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source) SWI Prolog View in this Window ( Prolog Compilers ) Open in new Window SWI Prolog is a Prolog compiler, targeting primarily at research and education. Visual Prolog 5.2 Personal Edition

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

Edwin Vaz e-mail : edwinvaz@worldmailer.com Mobile : +91-9840088949 Download My Resume Education : B. E. Computer Science (1995 to 1999) Goa Engineering College, Farmagudi, Ponda, Goa. First Class with Honours with Distinction Experience : 18 Months in Wipro Technologies Certifications : Brainbench Certified Java 1.2 programmer th May 2000) 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.

95. 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/

var toRoot=""; Enable JavaScript Site Map Prolog Development Center A/S - H.J. Holst Vej 3 C -5C - 2605 Broendby - Denmark - Tel 3636 0000 - Fax pdc@pdc.dk

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

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

Sorry, your browser doesn't support frames. Press this button , please:

98. 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/

Build a program immediately from data processing examples Sampletalk Data processing example abstraction immediately becomes a useful program if text matching is in focus A. Gleibman, andrew@sampletalk.com Introduction Descri p ... and technology Program Examples: Natura l l a ... Perspectives for the Future Introduction 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

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

Owain F Carter Programming Languages as Cars Humour TOP HOME

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

What are Logic Programming and Prolog? Overview 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 Merits of Declarative Languages 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

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