Non riesco a trovare alcuna documentazione sul segno "non uguale" in Visual Prolog. Si prega di fornire la giusta soluzione di questo problema: class predicates
sister : (string Person, string S
in visual prolog esiste la sezione "domini" in un programma prolog in cui è possibile definire i tipi. C'è qualcosa di simile in swi-prolog? In prolog visivo tipo è definito come: domains
NewType = t