[Skip Navigation] [CSUSB] / [CNS] / [CSE] / [R J Botting] /[CS320 Course Materials] /prolog.html [prolog.txt(Text)] [Search ]
Thu Aug 25 20:59:15 PDT 2011
[Schedule] [Syllabi] [Text] [Labs] [Projects] [Resources] [Grading] [Contact]
Notes: [01] [02] [03] [04] [05] [06] [07] [08] [09] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

Contents


    Prolog: Programming in Logic

      Introduction

      [ intro.prolog ] [ sum.html ] [ 320w14.html ]

      Notes on Sebesta Chapter 15: Logic Programming

      [ 15.html ]

      Laboratories


      (Fast Overview): Intriguing Prolog Examples and puzzles: [ 10.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

      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