Difference between (Facts and Predicates) && (Single and Determ)
<p>I just wonder,  what is the difference between "facts" and "predicates" section in prolog ?</p>

<p>and what is the difference between "single" and "determ" keyword ?</p>