Hexlet SICP
  • Contents
  • Exercises
  • How to read
  • Rating
  • Book

  • Login
  • Register

  • English English
    Русский Русский
  1. Contents
  2. 4 Metalinguistic Abstraction
  3. 4.4 Logic Programming
  4. 4.4.3 Is Logic Programming Mathematical Logic?
Previous chapter Next chapter
4.4. Logic Programming

4.4.3. Is Logic Programming Mathematical Logic?

Exercises:

  • 4.64 . An infinite loop
  • 4.65 . A query to find all the wheels
  • 4.66 . The total salaries of all the computer programmers
  • 4.67 . The query system loop detector
  • 4.68 . Rules for reverse operation
  • 4.69 . A rule for adding ''greats'' to a grandson relationship

Was completed by:

  • Anton Burenkov
  • misha

There are no comments yet.

Authentication required

You must log in to post a comment.

Login

© Hexlet

  • About
  • Source code
  • Slack #hexlet-volunteers

Help

  • Knowledge
  • Blog
  • Recommended books

Other open-source projects

  • Hexlet Editor
  • Hexlet CV
  • Hexlet Friends

Additionally

  • Code Basics
  • CodeBattle
  • Hexlet Guides