You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Please see the following tests:
- Logic: parents example, with recursive calls / All males KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All females KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All fathers KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All mothers KNOWN-PROBLEM
- Logic: solar system example / All planets KNOWN-PROBLEM
- Logic: solar system example / All satellites KNOWN-PROBLEM
- Logic: parsing Prolog code / Injecting Prolog - solar system KNOWN-PROBLEM
- Logic: parsing Prolog code / Injecting Prolog - parents KNOWN-PROBLEM
The text was updated successfully, but these errors were encountered:
Please see the following tests:
- Logic: parents example, with recursive calls / All males KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All females KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All fathers KNOWN-PROBLEM
- Logic: parents example, with recursive calls / All mothers KNOWN-PROBLEM
- Logic: solar system example / All planets KNOWN-PROBLEM
- Logic: solar system example / All satellites KNOWN-PROBLEM
- Logic: parsing Prolog code / Injecting Prolog - solar system KNOWN-PROBLEM
- Logic: parsing Prolog code / Injecting Prolog - parents KNOWN-PROBLEM
The text was updated successfully, but these errors were encountered: