Skip to content
#

fctnova

Star

Here is 1 public repository matching this topic...

rubenandrebarreiro / fct-nova-knowledge-base-representation-checker

Star 1

🎓 👨‍🎓 📚 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

Improve this page

Add a description, image, and links to the fctnova topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the fctnova topic, visit your repo's landing page and select "manage topics."

Learn more