Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services

package edu.upc.fib.inlab.imp.kse.logics.logicschema.services

Related Packages

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.processes

Classes

Class	Description
MGUFinder	Class with static functions to find Most General Unifier between literals, and atoms.