trianantoputra / ai-prolog

solving several AI case study with Prolog

AI Case Study with PROLOG

PROLOG is used for solving several AI case study. This repository is archived from the 5th-semester final project on the artificial intelligence course, Sriwijaya University.

Members:

• Dian Palupi Rini (Lecturer) - Scholar
• Muhammad Irfan Triananto Putra - LinkedIn
• Muhammad Irsyad Masyhudin - LinkedIn

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. The program is made with SWI-Prolog.

Prerequisites

What things you need to install the software

• SWI-Prolog.

Running the tests

• open the IDE, run.
• the user will be asked to input query to check wether the logical statement true/false and give the result:

case study: Hukum Pernikahan

?- sah(menikah(wati,andi))
false.

?- saudara_kembar(X,Y)
X = budi
Y = andi

case study: Saya adalah kakek dari diri saya sendiri

?- eyang(i,i)
true

Documentation

• LAPORAN TUGAS BESAR KECERDASAN BUATAN, Irfan, 2018