🎓 👨🎓 📚 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 Lisbo…
rules science engineering data programming logic prolog computer facts informatics logic-programming info predicates knowledge-base backtracking-search knowledge-representation check-programming verification-programming query-programming fctnova
-
Updated
Jul 28, 2019 - Prolog