Hexlet SICP
  • Contents
  • Exercises
  • Leaderboard
  • The book
  • Login
  • Sign up
  • English English
    • Русский Русский
  1. Contents
  2. 4 Metalinguistic Abstraction
  3. 4.4 Logic Programming
Previous chapter Next chapter
4 Metalinguistic Abstraction

4.4 Logic Programming

  • 4.4.1 Deductive Information Retrieval

  • 4.4.2 How the Query System Works

  • 4.4.3 Is Logic Programming Mathematical Logic?

  • 4.4.4 Implementing the Query System

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