TRILL
on
SWI
SH
is a web application which embeds the tableau reasoners TRILL, TRILL
P
and TORNADO.
About
Help
Dismiss
Toggle navigation
?
users online
Open hangout
Open chat for current file
food(burger). %burger is a food food(sandwich). %sandwich is a food food(pizza). % pizza is a food lunch(sandwich). % sandwich is a lunch meal(X) :- food(X).
