101. FAQ: Prolog Implementations 2/2 [Monthly Posting] Top/Computers/programming/Languages/prolog http://www-2.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html

Introduction [2-0] General information about Prolog Implementations [2-1] Free Prolog Implementations [2-2] Commercial Prolog Implementations Introduction [2-0] General information about Prolog Implementations [2-1] Free Prolog Implementations [2-2] Commercial Prolog Implementations ... [2-10] Prolog extensions, meta-interpreters, and pre-processors

102. XSB A researchoriented Logic programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of prolog and offering among other things evaluation through full SLG resolution. http://xsb.sourceforge.net/

Home Research XSB System Contact Us Welcome to the home of XSB! XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at the Computer Science Department of the Stony Brook University , in collaboration with Katholieke Universiteit Leuven Universidade Nova de Lisboa Uppsala Universitet and XSB, Inc XSB is kindly hosted by Sourceforge . You can directly access the following resources from here: Project Summary XSB Released software CVS repository Mailing Lists ... Bug tracking If you are new to XSB, please read the XSB Technical Summary for an overview of its main features. Latest Release XSB Version 2.6 was released on June 27, 2003. See the release notes here You can browse Volume 1 and Volume 2 of the XSB Programmers' Manual online, or download them in the following formats: Compressed Postscript: Volume 1 and Volume 2 PDF: Volume 1 and Volume 2 Other Documentation: Package Documentation: The xsbdoc Documentation Generator. Postscript PDF Package Documentation: XASP: Answer Set Programming with XSB. Postscript PDF Related Projects These are related projects that use and are distributed with XSB.

103. The PiLLoW Pages programming in Logic Languages on the Web (PiLLoW) is a publicdomain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao prolog development system. http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html

The P i LL o W Pages P rogramming i n (Constraint) L ogic L anguages o n the W eb Providing full WWW connectivity for LP and CLP systems Welcome to the PiLLoW package home page. This package is a public domain HTML/XML/HTTP conectivity package for Logic Programming and Constraint Programming systems. This package is provided under the GNU Library General Public License Downloading: The package has been developed in the context of the Ciao Prolog system and it comes as part of this system's libraries, i.e., to use PiLLoW within Ciao you only need to load the appropriate library. However, PiLLoW is also available for a number of other popular LP/CLP systems, see the links below for downloading. Support: The PiLLoW/Ciao developers can be reached at ciao@clip.dia.fi.upm.es Bugs should be reported to ciao-bug@clip.dia.fi.upm.es . Specific professional support and maintenance services are available. Please contact clip@dia.fi.upm.es for details. Subscribing to the PiLLoW/Ciao mailing list: If you download PiLLoW, we highly recommended that you subscribe to the ciao-users@clip.dia.fi.upm.es

104. The Starlog Project At The University Of Waikato Declarative temporal logic programming language for general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components a set of timed facts, a set of temporal logic rules. Somewhat like prolog. http://www.cs.waikato.ac.nz/Research/starlog/index.html

A new Logic Programming Language The Starlog Project What is Starlog? Motivation Starlog Concepts Examples ... Department Home What is Starlog? Starlog is a pure-logic programming language designed to overcome some of the problems inherient in traditional approaches to logic programming. As a result, Starlog is designed to be a general purpose programming language, and is particularly useful for simulation, and for modelling reactive systems. Although most logic programming languages (e.g. Prolog) are query driven (i.e. are evaluated "top-down"), Starlog programs are evaluated "bottom-up". That is, as a Starlog program executes, it builds a model of all the true facts that can be derived from rules in the program. The evaluation of Starlog programs is controlled using a stratification order. Motivation Traditionally, logic programming languages have never been able to compete with the popularity of other language paradigms. We attribute this to: Most implementations of logic programs being less efficient at run time than equivalent programs from other language paradigms. The introduction of extra-logical operators that improve efficiency often break the declarative semantics of logic programs.

105.    BinNet Corporation - Java And Prolog Software For Internet Programming C/C++ and Java based prolog Compilers and prolog based Internet programming tools. http://www.binnetcorp.com

BinNet is a 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 do not have such a browser go to the menu of BinNet Corp to proceed with a non-frame environment.

106. Logic Programming Associates WINprolog, DOS-prolog, Macprolog32 compilers. Products range from prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. Commercial http://www.lpa.co.uk/ind_pro.htm

107. Actor Prolog. Programming Language Definition. if you are tired of reading papers, you could see a nice 3D pictures created with the help of Actor prolog. Please visit our logic programming 3D cyberspace. http://www.cplire.ru/Lab144/

Welcome to the world of Actor Prolog! New! Please, visit my photo-report on the International Conference on Logic Programming (Mumbai, India Please, visit our photo-report on Artificial Intelligence international conference (Divnomorskoe, Russia First of all please read Getting Started in Actor Prolog . This document explains the main ideas of Actor Prolog and gives general information on the application of the results of the project. The document is available in English and Russian now. Then, read English research papers that are available in PDF and HTML format. Then, you could study a complete definition of the Actor Prolog language, if you understand Russian . Here you could also subscribe to Russian mailing list on Logic Programming and find a complete list of recommended Russian and English papers concerning the project. The Site supports the following Russian codings: Alt (OS/2, MS DOS) KOI8 (UNIX) , and 1251 (Windows) Then, if you are tired of reading papers, you could see a nice pictures created with the help of Actor Prolog . Please visit our logic programming 3D cyberspace . These Web pages are created on the base of VRML . Please read how to prepare your Web browser to review of VRML worlds in the introduction.

108. Arity/Prolog With a compiler and interpreter written in prolog, C and assembly language and representing a superset of Edinburgh prolog, a programming environment is offered for Windows/NT. http://www.arity.com/www.pl/products/ap.htm

109. Consultancies And Training Courses The Software Verification Research Centre (Univ. of Queensland) extended version of prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higherorder programming and logic programming of interactive applications. http://www.svrc.uq.edu.au/Software/QuPrologHome.html

Public ITEE All UQ ITEE theses IN THIS SECTION QUICK LINKS Select a quick link: ITEE Public Web Study @ ITEE ITEE Student IT Help UQ Innovation Expo (Authentication required) ITEE Internal Web ITEE Staff IT Help ITEE Home print version Consultancies and Training Courses The University of Queensland 's School of Information Technology and Electrical Engineering has expertise in a wide range of technical areas. Its major research groups and their leaders are: Systems and Software Engineering Prof Ian Hayes Complex and Intelligent Systems A/Prof Janet Wiles ... Prof Stuart Crozier There are also a number of more specialised groups and centres within the School. The School arranges consultancy projects and industrial training courses through the university's commercial arm, UniQuest Pty Ltd (ABN: 19 010 529 898). To find out more about the School's industrial consultancy capabilities please contact the leader of the relevant research group. (For ITEE staff there are also checklists of activities to be performed when planning a consultancy.) privacy feedback ABN 63 942 912 684 CRICOS Provider No: Authorised by: Head of School Maintained by:

110. Visual Prolog 6: Products, Compiler, Download Free Personal Edition A fullfeatured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available. http://www.visual-prolog.com/

var toRoot=""; Navigation without JavaScript Site Map What's New? Visual Prolog 6.1 Build 6108 Hotfixes to the Build 6108 Migration Tool Build 1017 is now available for both users of Visual Prolog 5.2 and 5.1. New Tutorials: Exceptions Handling ... More News » Coming Soon Visual Prolog 6.1 Build 6109 Visual Prolog 6.1 Personal Edition Visual Prolog 6.1 Visual Prolog 6 is the latest generation of the Visual Prolog logical programming language counting PDC and Turbo Prolog as predecessors. The goal of Visual Prolog 6 is to support industrial strength programming of complex knowledge emphasized problems. The release of Visual Prolog 6 is the result of 3 years of development. Continuing the Visual Prolog effort and considering the requirements of our user base we have added: A unique object system Multi threading Unicode support Improved support for DLLs Improved support for functions Improved exception handling and much more.

111. Software At The Logic Programming Group At Imperial College As part of Imperial College's Logic programming Group Software Products, this Edinburghstyle, WAM-based version provides multiple threading, an object-oriented layer, TCP interfacing and other features. http://www-lp.doc.ic.ac.uk/software.html

Logic Programming Group, Department of Computing, Imperial College of Science, Technology and Medicine, University of London. Logic Programming Group Software Products This page contains software produced in the Logic Programming Group. Note that some of the products can only be released after a special agreement with Imperial College has been signed and returned to us. Also note that some products are not maintained any more (there will be no more official bug fixes). April (Frank McCabe, Keith Clark) About April How to obtain April April Manual Introductory paper (in compressed postscript) Licence Agreement ( compressed postscript or latex April Distribution IC-Prolog ][ (Frank McCabe, Damian Chu, Yiannis Cosmadopoulos) Note: There is currently no user support for this product About IC-Prolog ][ IC-Prolog ][ paper IC-Prolog ][ manual Version 0.96 for Sun3 ICP-0.96-sun3.tar.Z Version 0.96 for Sun4 (SunOS 4.1.X) ICP-0.96-sun4.tar.Z IC-Prolog ][ Add-ons: Skylaki Parlog Note: There is currently no user support for this product About Parlog Version 159 for Sun3 parlog-159-sun3.tar.Z

112. BinNet Corporation - Prolog Compiler - BinProlog BinNet Corporation offers a highperformance, robust prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components. http://www.binnetcorp.com/BinProlog/

BinNet is a 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 do not have such a browser go to the menu of Binprolog to proceed with a non-frame environment.

113. Prolog yPROgramming In LOGicz : IT—pŒêŽ«“T The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set. http://ew.hitachi-system.co.jp/w/Prolog.html

ƒTƒCƒg‘S‘Ì ¤•i HOME IT—pŒêŽ«“T ƒvƒƒOƒ‰ƒ~ƒ“ƒO ƒvƒƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê Prolog Prolog@ Prolog‚Ì“Ç‚Ý•û : ƒvƒƒ[ƒO Prolog‚̃tƒ‹ƒXƒyƒ‹ : PROgramming in LOGic Prolog‚Æ‚Í ƒvƒƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê ‚̈ꂁB ƒGƒLƒXƒp[ƒgƒVƒXƒeƒ€ (99.6.1 XV) PrologŠÖ˜A—pŒê ƒvƒƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê ƒGƒLƒXƒp[ƒgƒVƒXƒeƒ€ ¡T‚̐V’ —pŒê10 F ZigBee PMBOK yProject Management Body of Knowledgez ƒeƒŒƒrƒ`ƒ [ƒi[ƒJ[ƒh (TV tuner card) XMPP yeXtensible Messaging and Presence Protocolz ... SAK yServer Appliance Kitz æŒŽ‚̃AƒNƒZƒXƒgƒbƒv10 F —pŒê RELAX ƒŠƒ‰ƒbƒNƒX ƒCƒ“ƒs[ƒ_ƒ“ƒX ƒ‰ƒ“ƒ^ƒCƒ€ƒGƒ‰[ ... ƒz à Vî•ñ ð“ú‚̃jƒ [ƒX ¡T‚̐V’ —pŒê ’–Ú—pŒê100

114. Products: Visual Prolog (programming Language, Compiler, Development Environment Products Visual prolog 6.1 and 5.2 (programming language, compiler, development environment, debugger, linker) a free Personal Edition, Commercial Edition http://www.visual-prolog.com/vip6/Product/default.htm

var toRoot=""; Navigation without JavaScript Site Map Visual Prolog 6.1 (Build 6108) ... Personal Edition Products Visual Prolog 6.1 Personal Edition Prolog Development Center offers you an opportunity to learn Visual Prolog by using a free Personal Edition. The Personal Edition has got the limited library support compared to the Commercial Edition, and it may only be used privately for learning Visual Prolog. The Personal Edition is free and can be downloaded from Simtel Visual Prolog 6.1 Commercial Edition The Commercial Edition contains everything from the Personal Edition plus help generator tool and extra library support. Especially for multithreading, ODBC, Sockets, pipes and many extra GUI controls. See a list of differences between the Commercial and Personal Editions of Visual Prolog 6. You have to purchase the Commercial Edition if you want to use Visual Prolog commercially. Visual Prolog 6.1 Commercial Edition costs $299. If you need more than 10 licenses please contact Prolog Development Center for an individual offer, otherwise you can simply make you order

115. Prolog Tutorial -- 2 The key goals of the presentation are to show several important methods of knowledge representation in prolog and the declarative programming methodology of http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2.html

2. Sample Prolog Programs In this chapter we provide several sample Prolog programs. The programs are given in a progression from fairly simple programs to more complex programs. The key goals of the presentation are to show several important methods of knowledge representation in Prolog and the declarative programming methodology of Prolog. Map colorings This section uses a famous mathematical problem that of coloring planar maps to motivate logical representations of facts and rules in Prolog. The prolog program developed provides a representation for adjacent regions in a map, and shows a way to represent colorings, and a definition of when the colorings in conflict; that is, when two adjacent regions have the same coloring. The section introduces the concept of a semantic program clause tree to motivate the issue of semantics for logic-based programming. Two factorial definitions This section introduces the student to computations of mathematical functions using Prolog. Various built-in arithmetic operators are discussed. Also discussed is the concept of a Prolog derivation tree, and how derivation trees are related to tracings of Prolog. Towers of Hanoi puzzle This famous puzzle is formulated in Prolog. The discussion concerns both the declarative and the procedural meanings of the program. The program write puzzle solutions to the screen.

116. SEM242 Introduction SEM242 prolog and Logic programming. This course structured object. Using this, it is possible to write simple and useful prolog programs. http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html

SEM242 - Prolog and Logic Programming 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: Introduction for Software Engineers Setting up SICStus Prolog, using SICStus Prolog, editors and public-domain Prologs for home use. A locally produced manual still being developed. Modules consisting of learning material Module 1 - Some unification, some data types and some built-in predicates

117. IT—pŒêŽ«“T: Prolog yPROgramming In LOGicz The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set. http://www.itmedia.co.jp/dict/programming/language/kind/00877.html

Today on ITmedia Home News Enterprise AnchorDesk ... Site Map —pŒêŒŸõF Œ©o‚µ‚©‚ç ‘S•¶‚©‚ç ƒrƒWƒlƒX ƒRƒ“ƒsƒ [ƒ^ ƒCƒ“ƒ^[ƒlƒbƒg IT‘S”Ê ... ƒvƒƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê 1999/06/01 XV Prolog yPROgramming in LOGicz “Ç‚Ý•ûF ƒvƒƒ[ƒO ƒtƒ‹ƒXƒyƒ‹F PROgramming in LOGic ŠÖ˜A—pŒê CŒ¾Œê C++Œ¾Œê BASIC Pascal ... LISP All ITmedia News ƒGƒ“ƒ^[ƒvƒ‰ƒCƒY Mobile PCUPdate LifeStyle Games IT—pŒêŽ«“T Anchordesk „‘E‡ “ú•t‡ about ITmedia —˜—p‹K–ñ ƒvƒ‰ƒCƒoƒV[ ITmediai¤•W“o˜^oŠè’†j

118. Logic, Programming And Prolog Logic, programming and prolog (2ed). by Ulf Nilsson and Jan Maluszynski. Previously published by John Wiley Sons Ltd. Download the book as a pdf file. http://www.ida.liu.se/~ulfni/lpp/

Logic, Programming and Prolog (2ed) by Ulf Nilsson and Jan Maluszynski Download the book as a pdf file. Download the errata. Download transparencies (not yet available)

119. SWI-Prolog's Home SWIprolog an LGPL comprehensive portable prolog compiler under the LGPL. prolog libraries are distributed under the GPL to the image. Compiled prolog however is compact, allowing the http://www.swi-prolog.org/

120. Prolog AI Blog Of AI4U Textbook Artificial Intelligence Using the AI4U textbook to create artificial Minds in prolog for robots. prolog. AI Weblog This weblog invites prolog programmers to implement the main Alife Mind loop of the the evolution of the AI Minds in prolog or any other language http://mind.sourceforge.net/prolog.html

Prolog AI Weblog Mind Supporters Mindmaker Supporters var site="s13ai4udex" AI Algorithm Steps Forums AGI Mailing List AI Chat AI Meetup Day AI Poll: ... KurzweilAI.net Resources Advogato AI FAQ: Software AI Funding AI4U Online Index ... BlogShares Member Sites and Others Linking To Amazon AI4U Agents Portal GameDev.net GreatMindsWorking Amazon AI4U Concept-Fiber Theory of Mind DMoz Prolog DSM-AI FAQTs Prolog ... Visual Prolog Weblogs Via Technorati Programación Lógica q.v. First implement the main Alife 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++ ... XML Sat.30.AUG.2003 in the evolution of Do-It-Yourself Artificial Intelligence This weblog invites Prolog programmers to implement the main Alife Mind loop of the simplest artificial intelligence. Please put the resulting free AI source code on the Web to inspire other coders to flesh out the core of the AI with additional mind-modules. There is no need to standardize or homogenize the evolution of the AI Minds in Prolog or any other language. Let there be a wide diversity and diaspora of the evolving Minds in a classic scenario of the survival of the fittest.

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 6     101-120 of 125    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20