bonjour,
j'ai trouvé ceci dans la documentation SWI-PROLOG:

Extrait nettoyé:

:Goal1 , :Goal2 [ISO]
Conjunction. True if both `Goal1' ...