7

Does this question https://stackoverflow.com/questions/52485173/understanding-sldnf-forest-of-goal-%e2%86%90foundingx belong on SO?

I am taking a course in logic programming, this question is from the book I am using.

I am not sure where to ask it.

I did not find any tag with SLD nor SLDNF here.

For users who cannot see deleted questions:

I am trying to understand this program and the respective forest.

enter image description here

enter image description here

Question:

  • In the main tree, why from ←off_gound(a) can you derive ⧠ ?

  • In the main tree, why was chosed on(b,a) first instead of on(c,b)?

Could someone please explain this?

9
  • 7
    Maybe on Computer Science, but read about on-topic there first, and transcribe the question so it's not two pictures from a textbook. Sep 24, 2018 at 18:43
  • @BenjaminW. Btw, How would I transcribe the tree diagram? I know a little bit of latex, but not that much like to plot the tree.
    – Lw. K
    Sep 24, 2018 at 18:48
  • 1
    I don't know how okay Computer Science is with pictures. You could create an ASCII diagram with something like asciiflow and post it in code tags. Sep 24, 2018 at 19:12
  • 7
    @BenjaminW. A photo of the tree from the book is likely far more readable than some ASCII art, though...
    – Lundin
    Sep 25, 2018 at 7:28
  • 1
    I don't think the image of the tree will be the problem. But the text should definitely be transcribed.
    – BDL
    Sep 25, 2018 at 7:40
  • @Lw. K has asked the question on CS.SE: cs.stackexchange.com/questions/97741/understanding-sldnf-forest Sep 25, 2018 at 8:14
  • 7
    Trees are probably not Google-search-able anyway, so it is not very useful to convert it to ASCII-art.
    – user202729
    Sep 25, 2018 at 11:36
  • Could be a valid Prolog program. Of course book photos are not ok.
    – Bergi
    Sep 25, 2018 at 12:02
  • @Bergi: It definitely reads like valid Prolog to me, but I'm not sure if that's the crux of the question.
    – Makoto
    Sep 25, 2018 at 16:37

0

Browse other questions tagged .