Defining prolog type in swi-prolog

Question

in the visual prologue there is a “domains” section in the prolog program in which you can determine the types. Is there something like this in a swi prolog?

In a visual prologue, a type is defined as:

domains
NewType = thing1; thing2

Answer 1

No. But there is a regime announcement in Mercury . Mercury is more than Prolog; it is a functional logical language. Mercury still has a lot of Prolog syntax.

SWI-Prolog - Prolog. 1 . .

, , ( ) . , block/1 Sicstus Prolog .

/1 ( , ..). block, , PAKCS 2, - . SWI, block/1 .

1 SWI
2 PAKCS, , block/1 (PAKCS - ).

Answer 2

SWI-Prolog , , , , "" record/1 record.

"" () , ( ), "setter" "getter" , .

, , , Prolog (). Prolog, .

Answer 3

, Swi Yap. - "Hindley-Milner Type Checker for Prolog:"

Prolog - Mercury