This is a topic to discuss the Wiki Unification

You may also want to do a web search for “rational trees” (I think this terminology is from Prolog II). e.g. https://www.swi-prolog.org/pldoc/man?section=cyclic https://dtai.cs.kuleuven.be/projects/ALP/newsletter/archive_93_96/net/impl/occur.html

[image] EricGT: I didn’t know that was possible. More specifically: I knew that X=Y was possible. I knew that X=f(X) and Y=f(Y) was possible if the occurs check was not being applied. But when I look at X = f(X), Y = f(Y), X = Y. I think X is unified with f(X) and Y is unified with f(Y) b…

After X=f(X) and Y=f(Y) you end up with two identical cyclic terms. You want unification to succeed, but if you do the good old naive unification you go into infinite recursion (or loop if you apply last argument optimization). I learned how to deal with this from Bart Demoen. It is described i…

[image] jan: It is described in the sources. See: GitHub SWI-Prolog/swipl-devel - Cyclic Terms

I don’t know how I forgot to add this earlier. Unification theory - Chapter 8 of Handbook of Automated Reasoning ( WorldCat )

There’s also one-way unification, otherwise known as pattern-matching. (Erlang, ML, Python use various flavors of pattern-matching) This might help a bit (I haven’t read through it all … there’s some discussion about linear and non-linear pattern matching, which is terminology I’m not familiar with…

[image] peter.ludemann: And don’t forget subsumption, which is important for tabling On the topic of subsumption, it’s useful to know that subsumes_term/2 was added to ISO Prolog in Corrigendum 2 in 2012. The draft can be found here . Subsumption is also very important in inductive logic prog…

As much as I want to work on adding to the Wiki topics here, my main hold back is that using links in HTML to other files such as SVG is still a problem because of Discourse. In using SWISH it seems that I can at least enter an HTML cell and use inline SVG ( example ). Also it seems that I can creat…

It would be nice if we could do something like for lpn . I understood as a hosted discourse site we are limited to (a subset of) the official Discourse plugins though :frowning: Another nice-to-have would be if name/arity for a known SWI-Prolog predicate would directly link to the docs.

[image] jan: I understood as a hosted discourse site we are limited to (a subset of) the official Discourse plugins though :frowning: Can you elaborate on this a bit more or point me to what can an can not be done with the Discourse for SWI-Prolog. While I am aware that plugins can be made, (…

Wiki Discussion: Unification

Wiki Discussion

EricGT July 28, 2020, 8:56am 32

An example related to this topic might be of use.

Topic		Replies	Views
Added Linkify words in post Theme Discourse forum Feedback	46	3369	August 9, 2022
Unification Wiki	0	2293	May 21, 2019
ChatGPT prompts - Prolog - Basics Wiki chatgpt	0	1629	February 17, 2023
Towards an infrastructure for examples Request For Comments	20	1546	December 17, 2020
ChatGPT prompts - Programming - Non-coding Wiki chatgpt	0	505	February 17, 2023

Wiki Discussion: Unification

Related topics