Home  - Basic_P - Prolog Programming

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

101-114 of 114    Back | 1  | 2  | 3  | 4  | 5  | 6

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)

Turbo PROLOG Primer by Daniel Shafer, 1987-09 Prolog for Computer Science by M. S. Dawe, C. M. Dawe, 1994-11 An Introduction to Language Processing with Perl and Prolog: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German (Cognitive Technologies) by Pierre M. Nugues, 2009-12-15 Logic And Programming In Logic by Ramin Yasdi, 1997-06-09 Concepts, Design, and Performance Analysis of a Parallel Prolog Machine (Lecture Notes in Computer Science) by Joachim Beer, 1989-12-15 Programming Informix SQL/4GL: A Step-By-Step Approach (Bk/CD) (2nd Edition) by Cathy Kipp, 1997-11-21 Artificial Intelligence Through Prolog by Neil C. Rowe, 1988-01 Turbo Prolog User's Handbook: Version 2.0 by Andrew Bradbury, Rory Woodward, 1989-06 Prolog, Children and Students (Fifth Generation Computing in Education Series) by Jon Nichol, Jonathan Briggs, et all 1988-05 Essentials of Logic Programming (Graduate Texts in Computer Science) by Christopher John Hogger, 1991-02-21 Memory Performance of Prolog Architectures (The Springer International Series in Engineering and Computer Science) by Evan Tick, 1987-12-31 Artificial Intelligence and PROLOG on Microcomputer by James McAllister, 1987-10-01 Turbo Prolog: An Introduction by Paul M. Chirlian, 1987-11 Expert System Development in PROLOG & Turbo PROLOG by Peter Smith, 1988-12

lists with details

101. PiLLoW
     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

102. Starlog
     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

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

104. 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/prolog.html

105. Visual Prolog
     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

106. IC-Prolog
     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

107. Qu-Prolog
     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

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

109. MasterProLog
     Formerly known as prolog by BIM this commercial development and runtime system is available under UNIX and Windows NT. The programming environment is standards-compliant and aimed at performance, robustness, productivity and integration.  
     http://www.itmasters.com/Products/MP/index.html

110. LPA - WIN-PROLOG - Programming Tools
     WINprolog is the central product in a series consists of programming tools forWindows NT, 95 and 3.1; the series also includes flex, prolog++, the Portable  
     http://www.sxst.it/lpa__wpr.htm

111. The ECLiPSe Constraint Logic Programming System
     Compileroriented development environment for constraint-logic applications with extended prolog technolo Category Computers programming Logic-based Constraint LogicThe ECL i PS e Constraint Logic programming System, Application descriptions;Related papers and technical reports; programming examples.  
     http://www-icparc.doc.ic.ac.uk/eclipse/

112. Prolog(Programming For Japanese Characters Input)
     To Japanese Page. prolog. Next Back To The Top(programming toinput Japanese characters) Back To My Home Page inoue@ainet.or.jp.  
     http://home.catv.ne.jp/pp/ginoue/im/prolog-e.html

113. Prolog(Programming For Japanese Characters Input)
     Next Back To The Top(programming to input Japanesecharacters) Back To My Home Page inoue@ainet.or.jp.  
     http://home.catv.ne.jp/pp/ginoue/im/prolog.html

114. Topic Lang/prolog/
     References Covington, Michael A.; Nute, D.; and Vellino, A. PrologProgramming in Depth , Scott, Foresman Co., 1987. ISBN 0521  
     http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/0.html

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

101-114 of 114    Back | 1  | 2  | 3  | 4  | 5  | 6