You can create "notebooks" of code and queryīe sure to read the Help and Examples menus.You can create programs and run queries against them.It's (subset of) SWI-Prolog on a server, accessed via your browser. Use SWISH (SWI-Prolog for Sharing) for experimentation. Preprint available at the author's website (PDF).Simply Logical: Intelligent Reasoning by Example by Peter Flach, 1994Ĭomputational Logic and Human Thinking - How to Be Artificially Intelligent by Robert Kowalski, 2011 Thinking as Computation: A First Course by Hector J. On the SWI-Prolog bibliography page a commenter mentions this book: Robert Kowalski has the the content of the first edition of Logic for Problem Solving (1979) at this page as well as commentary to the revised edition of 2014. The Stanford Encyclopedia of Philosophy is hard to beat: To kick off, "Logical Foundations of Prolog":.On YouTube is a series of excellent presentations by Markus Triska: Channel Special version for SWI-Prolog which integrates with SWISH, also in the "Tutorials" menu at the top of this page.įrom the book "Language Processing with Perl and Prolog".In English and French (" Prolog tout de suite ". Gentle introductionĪn Overview of the SWI-Prolog Programming Environment (January 2003)īy Patrick Blackburn, Johan Bos, and Kristina Striegnitz. There is a wiki entry at the SWI-Prolog Discourse Group with a lot of links.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |