https://github.com/thedhruvrawat/lics
Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)
https://github.com/thedhruvrawat/lics
c logic-programming prolog swi-prolog
Last synced: 2 months ago
JSON representation
Repository for Prolog Tutorial Sheets for the course CS F214: Logic in Computer Science at BITS Pilani, Pilani campus (Fall '21)
- Host: GitHub
- URL: https://github.com/thedhruvrawat/lics
- Owner: thedhruvrawat
- Created: 2021-08-20T12:42:41.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2021-12-09T16:09:45.000Z (over 3 years ago)
- Last Synced: 2025-01-03T19:46:38.149Z (4 months ago)
- Topics: c, logic-programming, prolog, swi-prolog
- Language: Prolog
- Homepage:
- Size: 774 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## CS F214: Logic in Computer Science
This repository contains all the tutorial coursework for the course **CS F214: Logic in Computer Science** at BITS Pilani, Pilani Campus in Fall 2021.
### Instructions to view
In the command line, open **SWI-Prolog** by typing `swipl` and load the required files as given below.
```prolog
> swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.
For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).
1 ?- [ex1].
true.
```
`true` will indicate the knowledge base has been loaded succesfully.
### Brief Summary
| Tutorial | Date | Topic | Tutorial Sheet |
| ------------- | ------------- | --- | --|
| 1 | 26 August 2021 | **Introduction to SWI Prolog** | [Tutorial 1](./tutorial-01/tutorial-1.pdf) |
| 2 | 2 September 2021 | **Matching and Proof Search** | [Tutorial 2](./tutorial-02/tutorial-2.pdf) |
| 3 | 9 September 2021 | **Recursion** | [Tutorial 3](./tutorial-03/tutorial-3.pdf) |
| 4 | 16 September 2021 | **Lists** | [Tutorial 4](./tutorial-04/tutorial-4.pdf) |
| 6 | 30 September 2021 | **Arithmetic** | [Tutorial 6](./tutorial-06/tutorial-6.pdf) |
| 7 | 7 October 2021 | **More Functions with Lists** | [Tutorial 7](./tutorial-07/tutorial-7.pdf) |
| 12 | 9 December 2021 | **Program Verification of Insertion Sort** | [Tutorial 12](./tutorial-12/tutorial-12.pdf) |
> Note: Tutorials 5, 8, 9, 10, 11, 12 were not based on Prolog.
### Disclaimer
All files on this repository are for educational purpose with no intentions of promoting any unfair means in any evaluative component.