[m-users.] Mercury for Game AI

[Zoltan Somogyi]

2022-01-21 03:24 GMT+11:00 "Fabrice Nicol" <fabrnicol at gmail.com>:
> In Prolog, lists can be converted to predicates and vice-versa dynamically thanks to =.. ('univ').

In Prolog, you can use =.. to convert a list to a *call to* a predicate.
You cannot use it to convert a list to the *definition* of a predicate
without using assert.

> The Mercury compiler code itself makes heavy use of these library predicates (have a look at mercury/library/rtti_implementation.m, for one).

The Mercury compiler actually does not use library/rtti_implementation.m
AT ALL: none of the compiler's modules actually import it.

The only users of that module are the runtimes of the Java and C# backends.

Zoltan.