A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of Faculty of Sciences and Technology of New University of Lisbon, through a knowledge base representation, built with facts, predicates and rules, among many others!
- What are the Geographic Coordinates of FCT NOVA?
?- coordinates(fct_nova, X).
or
?- coordinates(fct_unl, X).
X = "38.661036°N 9.205928°W"
To install and run this application, you will need:
The Git feature and/or a third-party Git Client based GUI, like:
To install this application, you will only need to download or clone this repository and run the application locally:
You can do it downloading the .zip file in download section of this repository.
Or instead, by cloning this repository by a Git Client based GUI, using HTTPS or SSH, by one of the following link:
https://github.com/rubenandrebarreiro/fct-nova-knowledge-base-representation-checker.git
- SSH:
git@github.com:rubenandrebarreiro/fct-nova-knowledge-base-representation-checker.git
Or even, by running one of the following commands in a Git Bash Console:
git clone https://github.com/rubenandrebarreiro/fct-nova-knowledge-base-representation-checker.git
- SSH:
git clone git@github.com:rubenandrebarreiro/fct-nova-knowledge-base-representation-checker.git