language: Prolog (swi) (swipl 5.6.64)
date: 110 days 9 hours ago
link:
visibility: public
1
2
3
bigger(batuta,marker).
bigger(marker,pencil).
bigger(batuta,pencil) :- bigger(batuta,marker), bigger(marker,pencil).
  • upload with new input
  • result: Success     time: 0.03s    memory: 6204 kB     returned value: 0

    ?- bigger(batuta,pencil).
    ERROR: toplevel: Undefined procedure: (?-)/1 (DWIM could not correct goal)