Simply Logical - Intelligent Reasoning by Example (Fully Interactive Online Edition)

  title={Simply Logical - Intelligent Reasoning by Example (Fully Interactive Online Edition)},
  author={Peter A. Flach and Kacper Sokol},
“Simply Logical – Intelligent Reasoning by Example” by Peter Flach was first published by John Wiley in 1994 [3]. It could be purchased as book-only or with a 3.5 inch diskette containing the SWI-Prolog [7] programmes printed in the book (for various operating systems). In 2007 the copyright reverted back to the author at which point the book and programmes were made freely available online; the print version is no longer distributed through John Wiley publishers. In 2015, as a pilot, we ported… 

Figures from this paper




This article presents SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources, providing context and experience in applying them over a longer period.

Simply logical - intelligent reasoning by example

An introduction to Prolog programming for artificial intelligence covering both basic and advanced AI material, and seeks to simplify the basic concepts of logic programming.

You Only Write Thrice: Creating Documents, Computational Notebooks and Presentations From a Single Source

This work proposes to significantly reduce the burden of maintaining a single source document in a version-controlled environment (such as git), adding functionality to generate a collection of output formats popular in academia by using various open-source tools from the Jupyter scientific computing ecosystem and operationalising selected software engineering concepts.

SWISH: SWI-Prolog for Sharing

SWISH is described, a web front-end for Prolog that allows for collaborative development of programs and queries related to a dataset as well as performing maintenance tasks on the running server and is embedded in the Learn Prolog Now! online Prolog book.

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery

A general framework for minimisation-based belief change is presented, which focuses on a set-theoretic notion of minimisation, and also considers other approaches, such as cardinality-based and priority-based minimisation.