Sajdak Adam, adam.sajdak@gmail.com
RIF
RuleML
Description Logic
Rezultat: Rachunek predykatów w XML? Przetwarzanie klazul horna za pomocą XSLT?