Did you know? automatic UML->Prolog translationSearch Documentation:
Carnival in the NetherlandsSWI-Prolog HTTP support