search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

Skolemization #36

Closed vinicius-f closed 9 years ago

vinicius-f commented 9 years ago

Implementei o processo de skolemization como descrito no livro. Os nomes das constantes e funções de Skolem são gerados com a função (gensym) para evitar repetições.