PPT Slide

Call

A call event occurs when Prolog starts trying to satisfy a goal.

You can also invoke call dynamically, like assert.

Example

check_fact :- read( B1 ), read( B2 ), read( B3 ), functor( D, B3, 2 ), arg( 1, D, B1 ), arg(2, D, B2 ), call( D ).

|?- check_fact.

|: bob.

|: mike.

|: father.

yes

|?- check_fact.

|: mauro.

|: mike.

|: father.

no

P.59

Previous slide

Next slide

Back to first slide

View graphic version