SUBROUTINES/METHODS
new
get_unique
Gets a list and returns it sorted and without duplicates.
get_description
get_solution
Uses Prolog to resolve print out all the variables satisfying the condition within the given knowledge (description).
get_solution_n
Uses Prolog to print out all the tuples of variables satisfying the condition.