Pawel Biernacki
and 1 contributors

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.