Allgemeine Fibonacci-Sequenz mit SICStus Prolog

Ich versuche, eine Lösung für eine Abfrage nach einer verallgemeinerten Fibonacci-Sequenz (GFS) zu finden. Die Abfrage lautet: Gibt es ein GFS mit 885 als 12. Nummer? Die ersten 2 Zahlen können zwischen 1 und 10 liegen. Ich habe bereits die ...

Prolog Constraint Processing: Packungsquadrate

Ich versuche, ein Constraint-Verarbeitungsproblem in Prolog zu lösen.Ich muss 4 Quadrate von 5x5,4x4,3x3 und 2x2 in einem Raster von 10x10 packen. Sie dürfen...

Eine Bestellung in Prädikatenauflösung bringen

make / 0 Funktionalität für SICStus

Wie kann ich sicherstellen, dass alle Module (und im Idealfall auch alle anderen geladenen oder enthaltenen Dateien) auf dem neuesten Stand sind? Bei der Ausgabe vonuse_module(mymodule), SICStus vergleicht das Änderungsdatum der Dateimymodule.pl ...