Forum Linux.pl
Programowanie => Inne => Wątek zaczęty przez: vous93 w 2014-03-31, 14:16:31
-
Witam. Mam problem z przerobieniem predykatu:
Działa on tylko wtedy kiedy X i Y są ukonkretnione a Z może być ukonkretnioną lub nie. Chcę żeby działało to w każdym trybie a w szczególności kiedy wszystkie trzy są nieukonkretnione. Prosze o pomoc.
-
1000 lat nie miałem styczności z Prologiem...
A nie potrzebujesz jeszcze 2 klauzul, dla "X is Z-Y" i dla "Y is Z-X"?