Sounds correct. Again I am not checking this by writing code and running it.
It is syntactic unification. You really haven’t read any of the Bratko book have you?
Perhaps this page will help you
ChatGPT prompts - Prolog - Basics
There are several Wiki pages in sequence of ChatGPT starting here.
LLM (Large Language Model) such as ChatGPT prompts related to Prolog