Opening the PDF files on this page may require you to download Adobe Reader or an equivalent viewer (GhostScript).

• Prolog: Programming in Logic
• : Introduction
• : Notes on Sebestas old Chapter 16: Logic Programming
• : Laboratories
• : Documentation
• : Specifications
• : Examples
• : Other Local resources
• : Compiler/Interpreters
• : Standards
• : Internet resources
• : Jokes
• : See Also

Prolog: Programming in Logic

Introduction

[ intro.prolog.html ] [ intro.prolog.txt ] (Text) [ sum.html ]

Handout [ ../cs320/handouts/prolog.pdf ] (PDF)

Notes on Sebestas old Chapter 16: Logic Programming

[ 16.html ]

Laboratories


(Fast Overview): Intriguing Prolog Examples and puzzles: [ 17.html ]


(Elements): [ lab1.html ]


(Definitions): [ lab2.html ]


(DIY): Do It Yourself [ lab3.html ]

Documentation

[ prolog.summary.html ] [ prolog.predicates.html ] [ expressions ] [ prolog.glossary.html ] [ prolog.FAQ ]

Specifications

[ prolog.semantics.html ] [ prolog.syntax.html ]

Examples

[ http://cse.csusb.edu/dick/cs320/prolog/ ]

Other Local resources

[ prolog.www.sites.html ] [ prolog.mbox ] [ prolog.news ] [ prolog.FAQ ] [ prolog.mbox ]

Compiler/Interpreters

At CSci.CSUSB we have two systems available.

1. SWI-Prolog [ http://www.swi.psy.uva.nl/projects/SWI-Prolog/ ] and the local copies that can generate a prolog system for most UNIXen, and also DOS and Windows nnn systems: [ src ]
2. Gnu Prolog Manuals: [ http://cse.csusb.edu/dick/cs320/prolog/gprolog/ ]



Standards

The Prolog ISO standard [ 0 in d21413 ]

Internet resources

The comp.lang.prolog Newsgroup on Usenet: comp.lang.prolog

Mark (the Traveled) Hoskins writes: There's a good Prolog tutorial at the University Sheffield, see [ facts.html ]


(FAQ): [ prolog-faq.1 ]


(Usenet News): //comp.lang.prolog


(Manual): in the UK [ starting.html ]

Jokes

[ jokes ] [ joke.plg ]

See Also

[ languages.html ]

. . . . . . . . . ( end of section Prolog) <<Contents | End>>