Topic/sub-topic

Resources

Annotation

Learning Prolog – a logic programming language

1. (Videos)

https://www.youtube.com/watch?v=SykxWpFwMGs

(1 hour)

https://www.youtube.com/watch?v=gJOZZvYijqk&list=PLVmRRBrc2pRCWtYk752jCIfhD8GmoYfc_

(12 mins)

Description:

Prolog is logic programming language that uses a declarative programming paradigm. The videos give a comprehensive overview of how to write programs in Prolog.

The first video by Derek Banas is a comprehensive overview of syntactical structures and formats of Prolog

The second video by a group called The Simple Engineer is the first in a series of four videos over which syntactical structures of Prolog are discussed.

Suitable for:

Anyone with basic programming skills and some understanding of First Order Logic; Students of Artificial Intelligence

Learning outcome:

1.      Learn how to use Prolog

2.      Exposure to the declarative programming paradigm of languages

3.      Understanding how first order logic can be used for reasoning in a computer.

4.      Understanding how knowledge bases and expert systems use logic programming to perform reasoning

5.      Practical introduction to answer extraction and query processing in a knowledge base

2.(Website)

https://swish.swi-prolog.org/

Description:

This is an alternative option for those who are looking for an online Prolog compiler and IDE that can be accessed from anywhere

Suitable for:

Anyone with a basic programming skills and theoretical understanding of Prolog or Logic Programming; Students of Artificial Intelligence

Learning outcome:

1.      Includes several interesting examples to facilitate understanding the power of logic programming

2.      Introduction to Constraint Logic Programming via Examples

3.(E Book)

http://www.swi-prolog.org/download/stable/doc/SWI-Prolog-5.6.59.pdf

http://www.gprolog.org/manual/gprolog.html

Description:

Reference manuals for getting started with and using different Prolog compilers (SWIProlog, GNU Prolog). The manuals contain installation details in addition to details of various commands and formats used in the respective compilers.

Suitable for:

Anyone with a basic programming skills and theoretical understanding of Prolog or Logic Programming

Learning outcome:

1.      Helps in getting started with Prolog programming

2.      Learning how to use different Prolog compilers – starting from basic to advanced components.

5.(E-Journal)

https://ijcai.org/Proceedings/07/Papers/397.pdf

https://dl.acm.org/citation.cfm?id=2174032

Description:

These papers include advanced level discussion and debates on Prolog for processing large datasets and practical applications.

Suitable for:

Advanced learners of logic programming and AI researchers.

Learning outcome:

Drawbacks and extensions on Prolog