Use this tag with SLD (Selective Linear Definite clause resolution) resolution. Do not use this tag with something referring to screen resolution.
Questions tagged [sld-resolution]
6 questions
2
votes
0 answers
Tool for drawing SLD trees in Prolog
Just as an example, I have the following SWI-Prolog Program (inverts a list):
inverte(L,LI) :-
inverte(L,[],LI).
inverte([], Aux, Aux).
inverte([P | R], Aux, LI) :-
inverte(R, [P | Aux], LI).
Are there any tools for Ubuntu 20.04 in order…
lbarqueira
- 1,101
- 1
- 10
- 28
2
votes
2 answers
How are anonymous variables interpreted in Prolog?
A quick and simple question regarding what role anonymous variables play in the resolution of a Prolog query given a set of program rule. So, the way I understand how the simplest form of SLD resolution works, an SLD tree is constructed by taking…
sanik98
- 145
- 6
2
votes
1 answer
Prolog SLD-Tree generator
I was given the task to write a tool that visualizes the SLD-Tree for a given Prolog-program and query.
So since I'd rather not implement a whole Prolog-parser and interpreter myself, I am looking for a library or program which generates that tree…
Uzaku
- 511
- 5
- 17
0
votes
0 answers
The other part of a polygon shape is not showing at a specific zoom level,I am using geoserver
This is the polygon shape looks like when zoom level at 20m,
the shape is not completely displayed compare to zoom 10 m
This is the polygon shape looks like when zoom level at 10m
developer27
- 1
- 2
0
votes
1 answer
Does anyone know what the SLD tree for this prolog code could be?
So this is a prolog code and I can't figure out what the SLD tree is. I know it's not supposed to work in depth-first resolution, I just want to visualize it with the tree.
single(Person) :- not(married(Person)), man(Person).
…
Maakarov
- 13
- 3
0
votes
1 answer
How to draw SLD tree for this query
a ↔ b
↙ ↑
c → d
path(X, X, Y).
path(X, Y, s(Z)) :- edge(X, A), path(A, Y, Z).
path(X, Y, Z) :- eps(X, A), path(A, Y, Z).
edge(a, b).
edge(b, a).
edge(c, d).
edge(d, b).
eps(b, c).
And path(X,Y,k) is true…
