Learning Pilog — 1: A Short Introduction to Prolog

A brief history of PROLOG

How much Prolog is needed for Pilog?

  • Chapter 1 Facts, Rules, and Queries
  • Chapter 2 Unification and Proof Search
  • Chapter 3 Recursion
  • Chapter 4 Lists
  • Chapter 6 More Lists
  • Chapter 10 Cuts and Negations.
  • Chapter 5 Arithmetic
  • Chapter 7 Definite Clause Grammars
  • Chapter 8 More Definite Clause Grammars
  • Chapter 9 A Closer Look at Terms
  • Chapter 11 Database Manipulation and Collecting Solutions
  • Chapter 12 Working With Files

Installing Pilog and Prolog

$ sudo apt-add-repository ppa:swi-prolog/stable
$ sudo apt-get update
$ sudo apt-get install swi-prolog

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Mia Temma

Mia Temma

These are cross-posts from my blog https://picolisp-explored.com. I’m writing about PicoLisp for beginners. Welcome!