 |
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 |
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
 Amzi! |
Prolog articles, Prolog source code, demos, product information
etc. ftp.std.com/ftp.vendors/amzi; amzi@world.std.com; amzi-cogent-request@world.std.com |
 Logic Programming Associates (LPA) |
Prolog products for Windows 95, DOS, and Macintosh.
(info@lpa.co.uk) |
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:
| 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. |
|
| 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
|
||||
|
|
|
|
|
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