“There are only three basic constructs in Prolog: facts, rules, and queries.” — Anonymous Copy Share Image