Where Intelligent Technology Meets the Real World
Contact PC AI
Logic Programming

Overview: Logic programming uses logic and proof procedures to define and resolve problems. In general, most logic programming is based on the Horn-clause logic supplemented with negation-as-failure to store the information and backward reasoning to solve problems.

Glossary Link - Logic Programming


To Internet
To Machine Learning

Logic Programming Information on the Internet
Association of Logic Programming (ALP) Home page of the Association of Logic Programming. Find out about upcoming conferences, read their newsletter, and find out how to become a member.
Journal of Functional and Logic Programming Online journal covers topics in functional and logic programming.
The Logic Group Latest information on this Stanford-based project (Knowledge Interchange Format (KIF). 
Logic Programming Reference Site Web site devoted to logic programming. 
Papers of the DFKI Programming Systems Articles on various aspects of constraint programming. Sample articles include: Object Oriented Concurrent Constraint Programming in Oz and Constraint Deduction in an Interval-based Temporal Logic. 
Programming Language Research Collection of information and resources for research in programming language theory, design, implementation, and related areas including automated deduction, constraints, dynamic storage allocation, formal methods, functional programming, logic programming, logical frameworks, object oriented programming, semantics-based program analysis and manipulation, software engineering, and visual programming. 
The World Wide Web Virtual Library: Logic Programming Links to logic programming information including general repositories, Prolog, window system interfaces, other logic programming systems, meetings and other related information. 
Yahoo - Logic Programming Programming Language Yahoo index of Logic Programming information. 

Sponsors of PC AI - Logic Programming Vendors

Prolog articles, Prolog source code, demos, product information etc. 

Logic Programming Associates (LPA)
Prolog products for Windows 95, DOS, and Macintosh. 

Prolog Development Center (PDC)
Developer of a Prolog compiler - later to be known as Turbo Prolog, PDC Prolog and now Visual Prolog. 
(75300.165@compuserve.com; leo@pdc.dk)

Other Logic Programming Vendors
Provides Prolog compilers and development environments, and more. 
ftp.als.com & info@als.com 
Multi-threaded BinProlog compiler with Prolog to C converter, Blackboards and Mobile Code, Prolog tools for Internet programming. Full Source code licensing available.binnetcorp@binnetcorp.com

Dynamic Search Engine References
Search the web for "logic programming" references using:
Google IntelliSeek Lycos Yahoo InfoSeek Alta Vista

Article References
Logic Programming With Tableaus Berghel, H. (1991) PC AI, 5(5), 48. 
Axiomatising the Logic of Computer Programming Goldblatt, R. (1982) Lecture Notes in Computer Science, 9(6) pps 304, ISBN 0-387-11210-3 
Logic Programming And Natural Language Schmuller, J. (1994) PC AI, 8(5) , 16. 
Logic Programming And Natural Language Schmuller, J. (1994) PC AI, 8(6) , 32. 
Logic Programming And Natural Language Schmuller, J. (1994) PC AI, 9(6) , 23. 

Book References
Logic for Information Technology Galton, A. New York, NY: John Wiley & Sons, pps. 290. 
Search: Enter keywords... 

Amazon.com                       logo
Foundations of Logic Programming: Symbolic Computation Lloyd, J.W. Springer-Verlag Publishing, pps. 124. 
Introduction to Logic Programming Hogger, C.J. (1984) London, England: Academic Press, pps. 280. ISBN: 0-12-352092-4. 
Mathematical Logic and Programming Languages Hoare, C.A.R. and Shepherdson, J.C. (Eds) (1985) Englewood Cliffs, NJ: Prentice Hall International, pps. 184. ISBN: 0-13-561465-1. 
Encyclopedia of Artificial Intelligence Shapiro, S. (1992) New York, NY: John Wiley & Sons, pps. 873-891. ISBN: 0-471-50305-3 
Constructing Logic Programs Jacquet, J.M. (Ed) (1993) West Sussex, England: John Wiley & Sons, pps. 308. ISBN: 0-471-93789-4. 
Many-Sorted Logic and Its Applications Meinke, K. and Tucker, J. (1993) New York, NY: John Wiley & Sons, pps. 397, ISBN 0-471-93485-2. 
The Logic Programming Paradigm : A 25-Year Perspective (Artificial Intelligence (Berlin, Germany).) Apt, K. et. al. (1999) Springer Verlag, pps. 480. ISBN 3540654631
Parallelism and Implementation of Logic and Constraint Logic Programming Dutra, I. et. al. (1999) Nova Science Publishers, Inc. ISBN 1560726733
A Guide to Programming Logic and Design - Comprehensive Farrell, J. (1999) Course Technology, pps. 472. ISBN 076001177X
Tools for Structured Design: An Introduction to Programming Logic Bohl, M. and Rynn, M. (2000) Prentice Hall College Div, pps. 355, disk. ISBN 0130200379

Other AI Info Categories

AI Languages ------------------------------------------------------->
Blackboard Technology Client/Server Dylan
Creative Thinking Data Warehouse/Mining Forth
Distributed Computing Expert Systems Lisp
Fuzzy Logic General AI Sites Logo
Genetic Algorithms Help Desk OPS
Intelligent Agents Intelligent Applications Prolog
Internet Machine Learning Scheme
Modeling and Simulation Multimedia Smalltalk
Natural Language Processing Neural Networks  
Object Oriented Development Optical Character Recognition  
Robotics Speech Recognition  
Virtual Reality    

PC AI Magazine

PCAI.TH @ gmail.com
Copyright (C) 2001-2002, All rights reserved
Designed by Terry H. and the web team at Knowledge Technology: Comments? webmaster @ pcai.com