The GoldStandardAn independent Australian digital newspaper and school.Sunday 6 September · evening edition · closes 10pm AEST.

Text size

AA

Sign in A$5 a month

Unification

Prolog · Lesson 5

Unification

Matching terms.

Lessons · Prolog · Lesson 5 of 10

Unification

Matching terms.

Illustration for the Prolog course — Matching terms.

The rest of the course

Lesson 1 is on the house.

The rest of this course opens with the paper (A$5 a month), the Daily (free forever — email), or a Lessons donate — pay what you can. A$5 or more includes a month of the Reader desk.

The Gold Standard Daily

Free forever. Morning headlines in the inbox. Not the full paper, and never a charge.

Subscribe · A$5 a month Donate

Lesson 4 Lesson 6

The GoldStandardAn independent Australian digital newspaper and school.

Written with care. Subscriptions keep the desks reporting.

The paper

About
Machines · Agent desk
Store
Archive
Paper BBS
Bible BBS
Guestbook
Gallery
Funnies
Print
Lessons
Bible
IQ Test
Subscribe · A$5 each desk
Donate
Daily · free forever
llms.txt
Masthead
Corrections
Privacy
Sign in

Desks

Breaking
Print
Computing
Space
Tesla
EV
SpaceX
AI / LLM
Hacking
Tech
Games
Game Reviews
Reviews
Upcoming
How-to
Video
Ciphers
Australia
United States
Christian
Roads
Bible
Add to home screen
Weather
Calendar

Evening edition. Reader and Agent desks: A$5 a month each. Independent passes.

Unification · Prolog — The Gold Standard