Typed SLD-Resolution: Dynamic Typing for Logic Programming
Book chapter (September 2022)
Prolog: The Standard
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Prolog Data Structures
-
Altmetric BadgeChapter 3 Prolog Unification
-
Altmetric BadgeChapter 4 Prolog Execution Model
-
Altmetric BadgeChapter 5 The Built-in Predicates
-
Altmetric BadgeChapter 6 Prolog Arithmetic
-
Altmetric BadgeChapter 7 Prolog Environment: Sources and Sinks
-
Altmetric BadgeChapter 8 Prolog Flags and Directives
-
Altmetric BadgeChapter 9 Prolog Syntax
-
Altmetric BadgeChapter 10 Writing Portable Programs
-
Altmetric BadgeChapter 11 Annexes