Mám dotaz k Prologu, ve Watsonu od IBM se otázky jako “Who wrote Moby Dick?” reprezentují predikáty jako write(X, ‘Moby Dick’), které se pak porovnávají proti bázi znalostí, třeba authorOf(‘Moby Dick’, ‘Herman Melville’) (příklady jsou z článků přímo od autorů Watsona, ale jde o princip). Jak se dojde od “lidsky” formulované otázky k tomu predikátu? Je na to něco přímo v Prologu?