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

Recursion

Prolog · Lesson 7

Recursion

Natural proofs.

Lessons · Prolog · Lesson 7 of 10

Recursion

Natural proofs.

Illustration for the Prolog course — Natural proofs.

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 6 Lesson 8

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.

Recursion · Prolog — The Gold Standard