'Prolog rules' presentation slideshows

Logic Programming

487 views • 31 slides

Logic Programming

524 views • 31 slides

Prolog

Prolog. A Prolog "program" is a collection of facts and rules. This collection is sometimes called a knowledge base . Facts represent unconditional assertions. Rules represent conditional assertions. Prolog facts.

344 views • 14 slides

human( david ). human(john). human( suzie ). human( eliza ). man( david ). man(john). woman( suzie ). woman( eliza ). pa

human( david ). human(john). human( suzie ). human( eliza ). man( david ). man(john). woman( suzie ). woman( eliza ). parent( david , john). parent(john, eliza ). parent( suzie , eliza ). father(X,Y) :- parent(X,Y), man(X ). mother(X,Y) :- parent(X,Y), woman(X).

112 views • 3 slides