Search for a command to run...
Series
In this series, we will introduce Pilog, a declarative language which is built on top of PicoLisp. It has the semantics of Prolog, but uses the syntax of Lisp.
In the last seven posts we introduced the main concepts and syntax of Pilog. However, all the queries were only done in interactive mode from the REPL. So how do we use it from PicoLisp? Calling Pilog from Lisp and vice versa The interface from Pico...
Welcome to the last part of the Prolog Crash Course. Today we will talk about Cuts and Negations. This post is based on this tutorial. What is a "Cut"? In the previous posts, we saw several examples of Prolog's backtracking behaviour. In some exampl...
In the last post, we showed how lists look like and discussed recursion concepts and the member predicate. Today we will look into some further list functions: appending and reversing, and the concept of accumulators. This post is based on this tutor...
Today we will talk about an important data structure which is often used in Pilog programming: Lists. This post is based on this tutorial. What is a list in Pilog? Basically, it's the same like in PicoLisp: A sequence of elements. Here are some exam...
In the last post, we discussed briefly the backtracking search algorithm. Let's explore this topic a little further as it's an important concept in Pilog programming. This post is based on this tutorial. A recursive example Let's illustrate the conc...
In the last post, we have seen how we can create a knowledge base and run queries on it. Today we will try to understand how Prolog computes the result of a query. This chapter is based on this Prolog tutorial. What is Unification? Let's check the d...
