I'm learning prolog, and I'm confused by the claim that prolog uses proof by contradiction: The resolution proof process makes use of a technique ...
I'm learning prolog, and I'm confused by the claim that prolog uses proof by contradiction: The resolution proof process makes use of a technique ...
I'm trying to find all the shortest path from one source node to all other destination node (so 1-3, 1-5, 1-4) with the relative cost for each shortes ...
In conversations around Prolog's cut operator !/0, I have only ever heard it described in terms of choice points and Prolog's execution model. It also ...
I am using Racket v8.5, with the packages for minikanren and minikanren/numbers required. Why does introducing the numbero constraint cause previously ...
I want to find atoms, within a pre-defined set of atoms, that are in all possible optimal solutions of an ASP problem. I'll explain what i want to do ...
For my thesis, I am looking at specific properties of knowledge bases and how this affects argumentation tree sizes. I need a sat solver in prolog whi ...
I’m making a puzzle level generator (sokoban) using Clingo and got stuck trying to create levels with a specific move limit. The idea is to use the mo ...
I started to learn Prolog and I just read that the atom at the beginning of an structure is usually called functor. I'm also familiar with the term f ...
I am testing the inductive capabilities of some theorem provers (such as Z3, Alt-Ergo, Vampire etc.) using the TPTP syntax. To my surprise, none of th ...
I've been trying to solve the logic puzzle Lady or the Tiger in Alloy but got stuck. Right now I'm trying to solve the 4th puzzle which is on the 2nd ...
For simplicity, this is a toy version of the actual problem: given a set of integers, find the longest sequence of consecutive numbers from that set. ...
For the multidirected graph below I am trying to write an program that visits all edges at least once. For instance, in the below graph I am looking f ...
I am writing a prolog code which has rooms and courses. A room can have multiple things such as a projector and smartboard and some of the courses nee ...
I have an issue with evaluating a parsetree derived from a grammar. The parsetree is derived from this pice of code: The resulting parseTree from p ...
I have written an ASP program with an optimization condition in the end. When I compile it, even though I get the correct result, in the summary I get ...
For the undirected graph described below, I am trying to get its spanning trees and then separate its leaves from the internal nodes. Could you please ...
Consider this blog post where the author implements palindrome relation using reverso: When I run (run* [q] (reverso q [1 2 3])), the output is ([3 ...
I am trying to write a predicate which reverses all rows in a matrix using Prolog. For instance the matrix [ [1,2,3], [4,5,6], [7,8,9] ] should becom ...
I am trying to write a program that identifies upper triangular matrices. I am quite new to Prolog and i would like your assistance on this. Consider ...
instance.lp I have this problem instance, directed graph with a beginning node begin(4) and corresponding edges. In this graph it is only possible ...