I used it for a graduate course in formal semantics. As our final project, we had to implement Lisp in Prolog and prove the semantics formally. Until that point, I thought I had a good grip on Prolog. Debugging the project nearly drove me nuts! If I had a do-over, I'd learn the SWI debugging tools before attempting it.

I love Prolog and hope to spend more time with it some day. But, the step from Novice to Intermediate is steep.

That's helpful advice - thank you!

IBM uses a special version of Prolog with a different syntax and database access functionality. They hired a department of a university.

MS Windows (network code) contains a Prolog with C-style-syntax.

Thanks. Do you know of any other resources describing Watson's inner workings? ...cause just googling for it leads to one of the zillions of marketing bullshit pages or whitepapers devoid of any real infos that IBM's marketing drones have flooded the web with.

Look for papers, search for Watson Prolog UIMA

> MS Windows (network code) contains a Prolog with C-style-syntax.

Can you tell me details?

someone else wrote more details about it in this thread.