A First Course Paul Brna March 5, 2001  Home/Search
Context
Related
| cbl.leeds.ac.uk/~paul/pro...brna.pdf.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cbl.leeds.ac.uk/~paul/prologbo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They are not assumed to have had any formal course in either propositional or predicate logic. (Update)
Similar documents (at the sentence level):
78.2%: Programming A First Course - Paul Brna May (Correct)
Active bibliography (related documents): More All
0.3: Reasoning about Beliefs: An Inference Network Approach - Low (1994) (Correct)
0.3: Neural-Logic Belief Networks (NLBN) - Low, Foo (Correct)
0.2: Amalgamating NAF and NAI - Alessandra Di Pierro (Correct)
Similar documents based on text: More All
0.3: Optimizing the SICStus Prolog virtual machine instruction set - Nässén (2001) (Correct)
0.2: Instruction Merging and Specialization in the SICStus.. - Nässén, Carlsson.. (Correct)
0.2: SICStus Prolog User's Manual - Laboratory (2001) (Correct)
BibTeX entry: (Update)
@misc{ paul-prolog,
author = "First Course Paul",
title = "Prolog Programming",
url = "citeseer.ist.psu.edu/596599.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
363 Programming in Prolog (context) - Clocksin, Mellish - 1984
182 Logic for Problem Solving (context) - Kowalski - 1979
127 Prolog Programming for Artificial Intelligence (context) - Bratko - 1986
26 Introduction to Logic Programming (context) - Hogger - 1984
26 The Craft of Prolog (context) - O'Keefe - 1990
5 micro-Prolog: Programming in Logic (context) - Clark, McCabe - 1984
3 Prolog for Programmers (context) - Kluzniak, Szpakowicz - 1985
2 Prolog Programming and Applications (context) - Burnham, Hall - 1985
2 Start Problem Solving with Prolog (context) - Conlon - 1985
2 Beginning microProlog (context) - Ennals - 1982
2 Logic Programming: A Classified Bibliography (context) - Balbin, Lecot - 1985
2 DECSystem10 Prolog User's Manual (context) - Bowen - 1981
Documents on the same site (http://www.cbl.leeds.ac.uk/~paul/prologbook/):
Programming A First Course - Paul Brna May (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC