15-819K Logic Programming
Resources

Prolog

• Prolog FAQ
• comp.lang.prolog newsgroup
• GNU Prolog home page
• SWI prolog home page

Linear Logic Programming

• Lolli home page
• LolliMon implementation

LaTeX

• Sample LaTeX files and macros for lecture notes, in case you wish to write your homework in LaTeX

Bibliography

• Bibliography source in BibTeX format
• Bibliography in PDF format

Errata

• Errata to the physical handouts. The corrections have been incorporated into the copies of the lectures notes available on-line.

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning