Module ImportFrom alias FunctionDef arguments args defaults body Assign NameStore Call NameLoad Assign NameStore Call NameLoad Str Num Assign NameStore Call NameLoad Str Num Assign NameStore Call NameLoad Str Num Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr Str Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad Str Num Expr Call NameLoad Call NameLoad NameLoad Assign NameStore Call NameLoad Call NameLoad Str NameLoad Call NameLoad NameLoad NameLoad While Call AttributeLoad NameLoad attr body Print AttributeLoad NameLoad attr AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Print Str For NameStore Call AttributeLoad NameLoad attr Str body Print SubscriptLoad NameLoad Index Str SubscriptLoad NameLoad Index Str decorator_list If CompareEq NameLoad Str body Expr Call NameLoad
N/A pyswip * main N/A N/A N/A N/A N/A p N/A Prolog N/A father N/A Functor father 2 N/A mother N/A Functor mother 2 N/A assertz N/A Functor assertz 1 N/A N/A N/A p assertz father(john,mich) N/A N/A N/A p assertz father(john,gina) N/A N/A N/A p assertz mother(jane,mich) N/A X N/A Variable N/A Y N/A Variable N/A Z N/A Variable N/A listing N/A Functor listing 1 N/A N/A call N/A listing father N/A q N/A Query N/A father john Y N/A mother Z Y N/A N/A N/A q nextSolution N/A N/A N/A Y value N/A Z value N/A N/A N/A q closeQuery N/A 
Query with strings
 N/A s N/A N/A p query father(john,Y),mother(Z,Y) N/A N/A N/A s N/A Y N/A s N/A Z N/A N/A N/A __name__ __main__ N/A N/A N/A main