 |
Prolog - Wikipedia, the free encyclopedia
Information technology ? Programming languages ? Prolog. International Organization for Standardization, Geneva. Alain Colmerauer and Philippe Roussel, The birth of Prolog, in ...
http://en.wikipedia.org/wiki/Prolog
|
 |
SICStus Prolog Homepage
Leading Prolog Technology SICStus Prolog is a state-of-the-art, ISO standard ... Copyright © 2001-2008 SICS AB, All Rights Reserved. For more information on SICStus Prolog,
http://www.sics.se/sicstus/
|
 |
Programación Lógica y Recuperación de Información
... con el carácter ASCII (American Standard Code for Information ... In this decade, implementation technology has matured to such a degree that Prolog has left the university and ...
http://programacionlogica.blogspot.com/
|
 |
Construction Project Management - Prolog
... Make critical decisions quickly using accurate corporate information ; Do more with ... companies with more than $101 million in Revenue (CFMA 2008 technology survey). Prolog WebSite ...
http://www.meridiansystems.com/products/prolog/constructionprojectmanagement.asp
|
 |
Amzi! Prolog+Logic Server, Adventure in Prolog tutorial, Expert ...
Prolog, expert systems and artificial ... Technology, Products and Services. Amzi! Prolog + Logic Server ? Embeddable ... application that provides information on ...
http://www.amzi.com/
|
 |
The World Wide Web Virtual Library: Logic Programming
Actor Prolog, an object-oriented Prolog (information in Russian). ALF (Algebraic Logic ... logic programming. Logic-Related Conferences. ASTAP (Advanced Software Technology ...
http://vl.fmnet.info/logic-prog/
|
 |
PROLOG - Information Technology
Acronym Finder: Definition of PROLOG in IT. What does PROLOG stand for? Meanings are limited to Information Technology category.
http://www.acronymfinder.com/Information-Technology/PROLOG.html
|
 |
Pressearbeit - PR-Agentur PROLOG Communications - European Public ...
Prolog Communications is an information technology-geared public relations and media relations agency in Muenchen (Munich) in Germany servicing international companies in ...
http://www.prolog.biz/
|
 |
B-Prolog
B-Prolog is a compact and complete CLP system that runs Prolog and CLP(FD) programs. ... Naoyuki Nide (nide@ics.nara-wu.ac.jp) provided information about porting to HP, Paul Eggert ...
http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog.html
|
 |
Meridian Systems Information Library
http://my.meridiansystems.com/downloads/
|
 |
Prolog.NET
Hodroj as a senior capston project at the Oregon Institute of Technology. For more information please contact ali@hodroj.net. Links: Prolog FAQ; Prolog Tutorial; Microsoft .NET
http://prolog.hodroj.net/
|
 |
ISO/IEC 13211-1:1995 - Information technology -- Programming languages ...
ISO/IEC 13211-1:1995 Information technology -- Programming languages -- Prolog -- Part 1: General core. Media and price
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=21413
|
 |
Prolog Examples
Prolog Example Programs ... L. Allison http://www.allisons.org/ll/ (or as otherwise indicated), Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6 ...
http://www.csse.monash.edu.au/~lloyd/tildeLogic/Prolog.toy/Examples/
|
 |
Astia - Home
Astia Recognizes Draper Fisher Jurvetson, InterWest Partners, Prolog Ventures and Redpoint Ventures Contact: Channa Luma...
http://www.wtc-sf.org/
|
 |
PC AI - Prolog Programming Language
Center for the Study of Language and Information : Prolog by Example: Coelho, H. and Cotta ... Designed by Terry H. and the web team at Knowledge Technology: Comments? webmaster ...
http://www.pcai.com/web/ai_info/pcai_prolog.html
|
 |
Cetus Links: 18,452 Links on Objects and Components / Prolog
NALP ; Prolog Information on the Internet (PC AI) Research Links: Linear Logic, Logic ... Meaning of LIFE (Hassan Aït-Kaci and Andreas Podelski) College of Technology ...
http://www.cetus-links.org/oo_prolog.html
|
 |
Pedro: A Subscription/Notification Server based on Prolog Technology
The School of Information Technology and Electrical Engineering - Pedro: A Subscription/Notification Server based on Prolog Technology
http://www.itee.uq.edu.au/~sse/seminars/2006/01dec06.html
|
 |
Project Management Tools - Prolog Manager
... companies with more than $101 million in Revenue (CFMA 2006 technology survey). Prolog delivers ... litigation by incorporating audit trails, and preventing lost project information ...
http://www.meridiansystems.com/products/prolog/pm/projectmanagementtools.asp
|
 |
SICStus Prolog Homepage
Leading Prolog Technology SICStus Home > Download for Evaluation : Download for ... Copyright © 2001-2008 SICS AB, All Rights Reserved. For more information on SICStus Prolog,
http://www.sics.se/isl/sicstuswww/site/eval.html
|
 |
comp.lang.prolog Frequently Asked Questions
For more background information about Prolog, see the list of books in Question 7 of this list. ... To keep up with the current state of logic programming technology, readers can join ...
http://www.faqs.org/faqs/prolog/faq/
|
 |
Frequently Asked Questions - comp.lang.prolog
This lists information concerning Prolog Archives, Books, Suppliers ... power of prolog language and provides prolog language with a technology to implement ...
http://www.logic.at/prolog/faq/faq.html
|
 |
Pressearbeit - PR-Agentur PROLOG Communications - European Public ...
Prolog Communications is an information technology-geared public relations and media relations agency in Muenchen (Munich) in Germany servicing international companies in ...
http://www.prolog-com.com/
|
 |
UMBC Agent Web -- news and information on software agent technology
... knowbots, FIPA, KQML, KIF, ontologies, active information ... Prolog Content Language (6/22) ... Agent technology roadmap (11/18)
http://agents.umbc.edu/
|
 |
Technology
ProLog employs several in-house Information Technology (IT) professionals for the on-going development and maintenance of a wide range of applications, including:
http://www.prologlogistics.com/sections/prolog/technology.php
|
 |
PCAI Artificial Intelligence - Free eMagazine, White Papers, Demos ...
PC AI Online provides the latest information on ... Microsoft Research Spawns a New Era in Speech Technology: ... Guide, Temporal Abstractions, Rule Base Quality, Prolog ...
http://www.pcai.com/
|
 |
Arity -- Research, Reasoning, Results!
Technology ... Arity/Prolog32? provides a complete Prolog programming ... Arity Information Animator can use Arity/Prolog32 as a ...
http://www.arity.com/?Tab=products&tab2=prolog
|
 |
REFERENCES: Online Technology Glossary and Dictionary of Computer ...
Online technology glossary + dictionary defines terms ... Streaming - Refers to the flow of data, information or images. ... of a General Problem Solver written in Prolog. struct - Is ...
http://www.oasismanagement.com/frames/TECHNOLOGY/GLOSSARY/d.html?TECHNOLOGY/GLOSSARY/s.html
|
 |
Specialty Publishing Company - Vision and Technology
... workbook criteria (such as a project number) the workbook can automatically and conditionally refresh data from Prolog. Some times the most efficient IT (information technology ...
http://www.specialtypub.com/article.asp?article_id=5692
|
 |
CADwire.net - Your CAD Information Source
Business Wire ? Meridian Project Systems Unveils Prolog Scheduler Meridian Systems ... Business Wire ? Cadence SP&R Design Technology Used by Advanced Hardware Architectures to ...
http://cadwire.net/?View=Day&Date=11/15/2001
|
 |
Prologika | Home
In this site, you will find information about our books, the latest on the Microsoft ... for navigating safely the most intricate aspects of the technology.
http://www.prologika.com/
|
 |
ISO/IEC 13211-2:2000 - Information technology -- Programming languages ...
ISO/IEC 13211-2:2000 Information technology -- Programming languages -- Prolog -- Part 2: Modules. Media and price
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=20775
|
 |
MINERVA /MINERVA/
Prolog in Java. e-Commerce, e-Government, Knowledge ... MINERVA is the core technology of the Software Infrastructure for Global Strategic Information Systems by IF Computer.
http://www.ifcomputer.co.jp/MINERVA
|
 |
INCITS, InterNational Committee for Information Technology Standards ...
INCITS - The InterNational Committee for Information Technology Standards - Where IT All Begins! ... J17: Programming Language Prolog: J18: Programming Language Rexx: L1: Geographic Information ...
http://www.incits.org/tcs.html
|
 |
PROLOG - Definition by AcronymFinder
Category Filters > All definitions (3) Information Technology (1) Military & Government (1) Science & Medicine (0) Organizations, Schools, etc. (0) Business
http://www.acronymfinder.com/PROLOG.html
|
 |
List of NLP/CL courses - ACLWiki
India : Indian Institute of Information Technology Allahabad : Natural Language Processing : Undergraduate Graduate : Java LISP Prolog Perl : 2005 onwards
http://aclweb.org/aclwiki/index.php?title=List_of_NLP/CL_courses
|
 |
Technology and Automation
ProLog employs several in-house Information Technology (IT) professionals for the on-going development and maintenance of a wide range of warehousing and fulfillment applications.
http://www.prologlogistics.com/sections/orderfulfillment/automation.php
|
 |
Amzi! Technology, Products and Services Overview
Technology, Products and Services Overview. Amzi! specializes ... Prolog, Pure Logic. Prolog is a tool that has a ... Weather Shield provides configuration and pricing information ...
http://www.amzi.com/products/amzi_overview.htm
|
 |
CORDIS: Technology Marketplace: Results
Abstract: This result (SOCS-SI, SOCS Social Infrastructure) is a Java-Prolog software ... Information transmission; Information acquisition; Knowledge engineering, knowledge based ...
http://cordis.europa.eu/fetch?CALLER=NEW_RESU_TM&ACTION=D&DOC=1&CAT=RESU&QUERY=1203947964564&RCN=41877
|
 |
This Companion Website is no longer available.
Newer technology and enhanced content have allowed us to provide you with several new ... For information about this book and other learning-enriched products available from ...
http://wpslive.pearsoncmg.com/BBSiteRetired/0,12497,3688514-content,00.html
|
 |
School of Education Technology
... of SET, the Department of Electronics (now Ministry of Information Technology ... A Prolog based Text Animator for Computer Aided Instruction ...
http://www.jadavpur.edu/academics/school_of_edu_technology.HTM
|
 |
XML.com: An Introduction to Prolog and RDF
... series on creating Semantic Web applications with Prolog ... AI ends up, after fleeing the CS department, in Information ... and literature, similar projects, and available technology.
http://www.xml.com/pub/a/2001/04/25/prologrdf/
|
 |
Prolog Introduction
Prolog notes, interpreter and Logic Programming examples. ... Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of ...
http://www.csse.monash.edu.au/~lloyd/tildeLogic/Prolog.toy/Ch/
|
 |
Novatica -- Noviembre-Diciembre, 1995 (no. 118)
Kwok; The use of Prolog in the modeling and evaluation of structure charts. Information and Software Technology 1994, Vol. 36 n [Vessey 86] Iris Vessey and Ron Weber; Structured ...
http://www.ati.es/novatica/1995/nov-dic/nv118.html
|
 |
Course Technology--InfoWeb: Rules
... use your favorite Web search engine to search for "Prolog." A good source of information is ... The first, "White Paper on Rules, Prolog, and Logic Server Technology" (www.amzi.com ...
http://www.cciw.com/content/rules.html
|
 |
GNU-Prolog Manual
For recent information about GNU Prolog please consult the GNU Prolog page. GNU Prolog is a Prolog compiler based on the Warren Abstract Machine (WAM) [9, 1].
http://www.gprolog.org/manual/gprolog.html
|
 |
ProLogis | Careers | North America
There are currently no opportunities available in this category. Asset ... There are currently no opportunities available in this category. Information Technology
http://www.prologis.com/en/careers/northamerica.aspx
|
 |
Meridian Systems Partners with Horizontal to Integrate BIM and Capital ...
... relationship with Horizontal LLC, a leader in technology planning, Building Information ... the project's bottom line can be managed within Prolog and Proliance." More information ...
http://green.tmcnet.com/news/2008/09/29/3675729.htm
|
 |
Neng-Fa Zhou
I am an Associate Professor of Computer and Information ... University of Alberta (1998), Tokyo Institute of Technology ... B-Prolog, an efficient implementation of Prolog, tabling ...
http://www.sci.brooklyn.cuny.edu/~zhou/
|
 |
Information Technology
Information Technology . Career and Major Information Earnings Related Occupations ... that the computer can follow, using a program language such as COBOL, Prolog ...
http://www.wscc.cc.tn.us/careerinfo/teched/InformationTechnology.asp
|
 |
finite state machine
... state machine, possibly with links to more information ... program to minimize a finite state machine (Prolog). More information ... National Institute of Standards and Technology. 12 ...
http://www.nist.gov/dads/HTML/finiteStateMachine.html
|