Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tutorials:beginner:cram_prolog [2016/01/25 11:47] – gkazhoya | tutorials:beginner:cram_prolog [2019/07/10 14:55] – gkazhoya | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Using Prolog for reasoning ====== | ====== Using Prolog for reasoning ====== | ||
+ | **Description: | ||
+ | |||
+ | **Previous Tutorial:** [[tutorials: | ||
+ | **Next Tutorial:** [[tutorials: | ||
==== Using built-in predicates ==== | ==== Using built-in predicates ==== | ||
Line 100: | Line 104: | ||
(((? | (((? | ||
</ | </ | ||
+ | |||
+ | |||
+ | Now that we are familiar with the CRAM Prolog syntax, let's dive right into resolving CRAM abstract entity descriptions (called designators) using Prolog ... | ||
+ | |||
+ | **Next Tutorial:** [[tutorials: |