INSTITUTE OF INFORMATION TECHNOLOGY

JAHANGIRNAGAR UNIVERSITY

Course Title: Artificial Intelligences and Neural Networks Lab

Course Code: IT-4102

Submitted To:
Dr. Mohammad Shahidul Islam
Associate Professor
Institute of Information Technology
Jahangirnagar University

Submitted By:
Niloy Paul
ID:1779
4th Year 1st Semester

Date of Submission: 05.06.2022

Question-01:
Importance of Prolog
Prolog is a logic programming language associated with artificial intelligence and computational
linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other
programming languages, Prolog is intended primarily as a declarative programming language: the
program logic is expressed in terms of relations, represented as facts and rules.
Prolog allows us to flexibly implement various specification formalisms as well as the analysis
and verification tools that go along with it. At the same time, Prolog is very fast and SICStus
Prolog is one of the fastest and most stable Prolog systems, allows access to more than 256 MB of
heap even on 32 bit systems (important for model checking), and is easy to interate with other
programming languages (so that the GUI does not have to be developed in Prolog). These features
make it a prominent programming language that plays an important role in artificial intelligence.

Question-02:
Applications of Prolog
The applications of prolog are as follows:
 Specification Language
 Robot Planning
 Automation System
 Natural language understanding
 Machine Learning
 Problem Solving
 Intelligent Database retrieval
 Expert System
 Automated Reasoning

Question-03:
Make a result management system with user Input/Output
Source Code:
result(niloy,3.50).
result(tahi,3.54).
result(ananda,3.32).
result(priyo,3.89).
result(ashraful,3.44).
result(rifa,3.67).
result(moni,3.92).
result(munira,3.86).
result(shaoky,3.88).
result(himel,3.43).
result(tamanna,3.62).

result_man:-
write("Enter Applicant Name: "),
read(X),nl,
result(X,Y),nl,
write("The Applicant result is: "),
write(Y).

Output: