Programy według deductions.sf.net

Techniki sztucznej inteligencji stosowane do typowych zadań oprogramowania, przy użyciu logiki pierwszego rzędu; N3, OWL ontologie i zasady. Umożliwia tworzenie aplikacji opartych na komponentach, niezależność platformy, przy