PPT Slide

prolog

|?- consult( user ) .

| baby( mike ) .

| baby( nick ) .

| father( mike , bob ) .

| father( nick , mauro ) .

| CNTL D

|?- baby( nick ) .

yes

|?- baby( X ) .

X = mike ; X = nick ; no

|?- father( mike , Y ) .

Y = bob CR

|?- father( X , Y ) .

X = mike , Y = bob ; X = nick , Y = mauro CR

halt .