Report a mistake on the page

Network error

There is a mistake in the following text:

Do you want to send a notice to a webmaster?
Hexlet SICP
  • Contents
  • Exercises
  • How to read SICP?
  • Leaderboard
  • The book
  • Login
  • Sign up
  • English English
    • Русский Русский
  1. Contents
  2. 4 Metalinguistic Abstraction
  3. 4.4 Logic Programming
  4. 4.4.4 Implementing the Query System
Previous chapter Next chapter
4.4. Logic Programming

4.4.4. Implementing the Query System

  • 4.4.4.1. The Driver Loop and Instantiation

  • 4.4.4.2. The Evaluator

  • 4.4.4.3. Finding Assertions by Pattern Matching

  • 4.4.4.4. Rules and Unification

  • 4.4.4.5. Maintaining the Data Base

  • 4.4.4.6. Stream Operations

  • 4.4.4.7. Query Syntax Procedures

  • 4.4.4.8. Frames and Bindings

There are no comments yet.

Authentication required

You must log in to post a comment.

Login

© Hexlet

  • About
  • Source code
  • Slack #hexlet-volunteers

Help

  • Blog
  • Knowledge
  • Recommended books

Other open-source projects

  • Hexlet CV
  • Hexlet Editor
  • Hexlet Friends

Extras

  • Code Basics
  • CodeBattle
  • Hexlet Guides