[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] / [Samples] / prolog
[Index] [Contents] [Source Text] [About] [Notation] [Copyright] [Comment/Contact] [Search ]
Thu Aug 25 21:04:04 PDT 2011

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

Contents


    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.txt ]

      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.txt ] [ 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 and [ topics ] (Google groups).

      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>>

End