This version of Learn Prolog Now! embeds SWI SH , SWI-Prolog for SHaring. The current version rewrites the Learn Prolog Now! HTML on the fly, recognising source code and example queries. It is not yet good at recognising the relations between source code fragments and queries. Also Learn Prolog Now! needs some updating to be more compatible with SWI-Prolog. All sources are on GitHub:
LearnPrologNow LPN SWISH Proxy SWISH
Learn Prolog Now!
by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
Chapter 1 Facts, Rules, and Queries
Chapter 2 Unification and Proof Search
Chapter 3 Recursion
Chapter 4 Lists
Chapter 5 Arithmetic
Chapter 6 More Lists
Chapter 7 Definite Clause Grammars
Chapter 8 More Definite Clause Grammars
Chapter 9 A Closer Look at Terms
Chapter 10 Cuts and Negation
Chapter 11 Database Manipulation and Collecting Solutions
Chapter 12 Working With Files
eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz