First chapter: Facts, Rules, and Queries.

Syntax

% single-line comments with '%'
% note lines must end with a '.'! 
 
man(ed). % basic fact: 'ed' is 'man'
woman(emily). % basic fact: 'emily' is 'woman'
game. % 'game' is true; could mean 'a game is taking place'

Connection with First-Order Logic