09 May 2022
Invitation to Ride the Prolog School Bus
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
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
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.
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
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