| Departments |
Computer Science, Zienkiewicz Institute for Modelling, Data and AI
|
|---|
| Description | In this project, the student develops web applications that rely on an underlying reasoning for, e.g., games, medical or mechanical diagnostics, law, and many other domains.
To reason, the projects are developed using Prolog, which is a Programming language for Logic.
https://www.swi-prolog.org/
https://en.wikipedia.org/wiki/Prolog
For the web-based interaction, the projects use WebAssembly, which enables applications to be delivered as HTML files to run in browsers with zero installation. This is particularly useful for implementations of Prolog.
https://webassembly.org/
The student will build some application of choice (after discussion with the supervisor) using Prolog and WebAssembly. |
|---|
| Preparation | Review/learn Prolog and Webassembly. Consider an application domain. |
|---|
| Project Categories |
Artificial Intelligence (AI), Human Computer Interaction (HCI), January Cohort, Modelling, Software Engineering |
|---|
| Project Keywords |
Digital Skills, Game Theory, Logic, Programming Languages |
|---|
Level of Studies
|
| Level 6 (Undergraduate Year 3) |
yes
|
|---|
| Level 7 (Masters) |
yes
|
|---|
| Level 8 (PhD) |
yes
|
|---|