check-programming

There are 0 repository under check-programming topic.

• rubenandrebarreiro / game-of-thrones-knowledge-base-representation-checker

  ⚔️ 🛡️ 🐲 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 the TV Show Series of Game of Thrones, through a knowledge base representation, built with facts, predicates and rules, among many others!

  computerscienceengineeringinformaticsknowledge-baseknowledge-representationlogicprogramminglogic-programmingcheck-programmingverification-programmingquery-programmingfactspredicatesrulesdatainfobacktracking-searchgameofthronesprolog
  Language:Prolog 5

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

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

  computerscienceengineeringinformaticsknowledge-baseknowledge-representationlogicprogramminglogic-programmingcheck-programmingverification-programmingquery-programmingfactspredicatesrulesdatainfobacktracking-searchfctnovaprolog
  Language:Prolog 2