Skip to main content

09 May 2022

Invitation to Ride the Prolog School Bus

Robert Kowalski profile image
Written by

Robert Kowalski

Prolog was born in the summer of 1972, as the result of collaboration between academic researchers in Edinburgh and Marseille.

The Year of Prolog celebrates the 50th anniversary of Prolog and highlights the continuing significance of Prolog and Logic Programming both for symbolic, explainable AI, and for computing more generally. It also aims to inspire a new generation of students, by introducing them to a more human-friendly, logic-based approach to computing:

https://prologyear.logicprogramming.org/PrologYear.html

There are two free online courses for secondary school students currently being offered:

Introduction to Prolog (Programming in Logic) for Artificial Intelligence, 
six two-hour sessions on Saturdays starting 21 May.
Instructor: Dr Eric Fung, Head of Research Division, The Hong Kong Academy for Gifted Education.

For free registration and more information:
https://www.meetup.com/utdcsor/events/285443171/
https://personal.utdallas.edu/~jeyv/prolog.pdf
https://utd.link/prolog-hk

The course is based on Hector Levesque’s book, Thinking as Computation:
https://www.amazon.co.uk/Thinking-Computation-First-Course-Press/dp/0262016990
_______________________________________________________________________
Logic Programming with Prolog for AI, 6-10 June 2022.
Instructor: Gopal Gupta, Professor of Computer Science and Co-Director, Center for Applied AI and Machine Learning.

For free registration and more information:
utd.link/prolog
https://personal.utdallas.edu/~jeyv/ai-prolog.png
 
The goal of the course is for students to learn how logic programming/Prolog can be used to automate human reasoning and realize artificial general intelligence (AGI).
 

 

Discussion

Please login to post a comment

Robert Kowalski
08/06/2022 22:41
Robert Kowalski
19/05/2022 21:32

The first course starts this Saturday for two hours, 11:00-13:00 UK time. It is taught by Eric (also known as Tse Ho) Fung. Eric did his PhD at Imperial College in the 1990s. His paper on the IFF proof procedure for abductive logic programming (generating hypotheses to explain observations and other goals) has 283 citations on google scholar. But his course will be based on Levesque’s book. See Hector Levesque - Wikipedia

Samuel Weston
17/05/2022 14:41

Love to see this - prolog was my language of choice at Uni and I used it for my dissertation.

I’ve now shared this link with all of my students and I hope that some of them choose to sign up and enjoy learning about Prolog. Thank you for putting it on.

Robert Kowalski
12/05/2022 21:52

Currently ranked 21, increasing on the average of 2 places per year
= number 1 in 2032, if not before?

From index | TIOBE - The Software Quality Company

                   2022  2017 2012 2007	2002 1997 1992 1987

Python 1 5 8 7 11 28 - -
C 2 2 2 2 2 1 1 1
Java 3 1 1 1 1 15 - -
C++ 4 3 3 3 3 2 2 5
C# 5 4 4 8 16 - - -
Visual Basic 6 14 - - - - - -
JavaScript 7 7 10 9 9 21 - -
Assembly language 8 10 - - - - - -
PHP 9 6 5 5 6 - - -
SQL 10 - - - 29 - - -
Prolog 24 33 39 27 15 19 15 3
Lisp 32 31 13 15 12 10 10 2
Pascal 270 103 14 20 31 9 3 6
(Visual) Basic- - 7 4 4 3 5 4