clpfd

    9ısı

    4cevap

    İkili bitleri (örneğin, 0/1 listesi) tersine çevrilebilir şekilde dönüştürmenin en iyi yolu nedir? Swi'de yerel bir yüklem yazdım ama daha iyi bir çözüm var mı? Saygılarımızla

    3ısı

    1cevap

    Bu soru, Prolog’daki özel etiketlemede bulunan bir başka I posted earlier numarasının peşindedir. contracting/1, bir özel etiketleme yükleminde bir değişkene bir değer atamasından sonra kullanıldığınd

    11ısı

    3cevap

    İki listenin eşitsizliğini kısıtlayan bir kısıtlama oluşturacak bir Prolog (CLP) yüklemesi yazmaya çalışıyorum. Daha resmi olarak, iki listeye sahip olmak A=[A1,...,AN], B=[B1,...,BN] kısıtlaması (A1