# Understanding Bratko \`translate\` predicate

**URL:** <https://swi-prolog.discourse.group/t/understanding-bratko-translate-predicate/6484>\
**Category:** General\
**Created:** [April 20, 2023, 2:02pm UTC](https://swi-prolog.discourse.group/t/understanding-bratko-translate-predicate/6484 "2023-04-20T14:02:12Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [April 20, 2023, 9:29pm UTC](https://swi-prolog.discourse.group/t/understanding-bratko-translate-predicate/6484/9 "2023-04-20T21:29:23Z")

</div>

> [@unlocked2412](#):
>
> Is that right ?

Sounds correct. Again I am not checking this by writing code and running it.

> [@unlocked2412](#):
>
> seems some form of pattern matching

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](https://swi-prolog.discourse.group/t/chatgpt-prompts-prolog-basics/6257)

There are several Wiki pages in sequence of ChatGPT starting here.

[LLM (Large Language Model) such as ChatGPT prompts related to Prolog](https://swi-prolog.discourse.group/t/llm-large-language-model-such-as-chatgpt-prompts-related-to-prolog/6248)

---

_[View the full topic](https://swi-prolog.discourse.group/t/understanding-bratko-translate-predicate/6484)._