Hexlet SICP
  • Contents
  • Exercises
  • 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
  • About
  • Source code
  • Telegram
Help
  • Blog
  • layout.footer.free
  • Recommended books
OpenSource
  • Hexlet CV
  • Run IT
  • Hexlet Friends
Extras
  • Hexlet
  • Code Basics
  • CodeBattle
  • Hexlet Guides