prolog.pl

?- consult('prolog-db').
 
 
?- likes(george, susie).


?- listing(likes).

    ?-trace(likes, -all).




?- assert(likes(david, sarah)).








    told
    seen
    respective
    originating
    number
    clause/clauses
    uses
    regardless
    accomplished
    facilities
    satisfy
    rather
    retry
    particular
    primary
    control
    consider
    indeed
    process
    unification
    commas
    besides

    attempt
    computation
    soon